web: honor filtered path index in timing detail overlay

Use _originalIndex in _selectDetailRow so pin overlay requests match
the backend when paths are narrowed by histogram slack filter. Also
fuse the filter map+filter into a single pass to avoid allocating a
clone for every path in the unfiltered report.

Signed-off-by: Matt Liberty <mliberty@precisioninno.com>

Author: maliberty

src/web/src/timing-widget.js

@@ -298,9 +298,12 @@ export class TimingWidget {
         const paths = this._currentTab === 'setup' ? this._setupPaths : this._holdPaths;
         const path = paths[this._selectedPathIndex];
         const nodes = this._detailTab === 'data' ? path.data_nodes : path.capture_nodes;
+        // Use _originalIndex when paths were filtered (e.g. by histogram
+        // column click in static mode) so the overlay lookup matches.
+        const highlightIdx = path._originalIndex ?? this._selectedPathIndex;
         this._app.websocketManager.request({
             type: 'timing_highlight',
-            path_index: this._selectedPathIndex,
+            path_index: highlightIdx,
             is_setup: this._currentTab === 'setup' ? 1 : 0,
             pin_name: nodes[idx].pin,
         }).then(() => this._redrawAllLayers());

src/web/src/websocket-manager.js

@@ -180,10 +180,12 @@ export class WebSocketManager {
             if (type === 'timing_report'
                 && msg.slack_min != null && msg.slack_max != null
                 && json.paths) {
-                const filtered = json.paths
-                    .map((p, i) => ({ ...p, _originalIndex: i }))
-                    .filter(
-                        p => p.slack >= msg.slack_min && p.slack < msg.slack_max);
+                const filtered = [];
+                json.paths.forEach((p, i) => {
+                    if (p.slack >= msg.slack_min && p.slack < msg.slack_max) {
+                        filtered.push({ ...p, _originalIndex: i });
+                    }
+                });
                 return Promise.resolve({ ...json, paths: filtered });
             }
             return Promise.resolve(json);