Ctrl+F does nothing, no way to find a node in a large graph

[avinxshKD]

There's no search, at all. You can't find a node by name, can't jump to an edge, can't filter anything. In a 40-node control workflow you're just… panning around squinting at labels hoping you spot the one you need.

Every graph editor on the planet has Ctrl+F .... draw.io, yEd, Simulink, even browser-based toys. We don't. The codebase has zero search infrastructure: no search state in the reducer, no toolbar entry, no Cytoscape query logic, nothing.

What this needs: a floating search bar (think VS Code's find widget), Ctrl+F to open it, type a query and matching nodes/edges get highlighted while everything else dims out. Enter/Shift+Enter to cycle through matches with the viewport auto-panning to center each one. Show a "3 of 12" counter. Esc to close and restore the normal view. Should search labels at minimum, ideally node type and data properties too. Regex toggle would be nice but not critical for v1.

This is read-only navigation, never moves or modifies anything, so no risk of messing up carefully laid out control system graphs.

Touches: new SearchPanel component + css, reducer state for search (query, results, active index, panel open/closed), a searchElements() method on the graph builder that runs Cytoscape selectors and manages highlight/dim classes, toolbar entry + hotkey registration in Header.jsx, viewport animation to fly to each result.

[avinxshKD]

@pradeeban @mayureshkothare as Im around the codebase these days, looking for what's wired up and noticed there's genuinely no search, no ctrl+f, no find-by-label, nothing. For any non-trivial graph that's rough. happy to take this on.

[pradeeban]

Yes, the current editor is very minimal. A lot to improve.