POC File search in GUI for workspace & workspace history - #12284

Open

touilleMan wants to merge 4 commits into

Commits on Mar 3, 2026

Implement `WorspaceOps::search()` & `WorspaceHistoryOps::search()`
touilleMan
committed
3b0b391

Commits on Mar 4, 2026

Expose `workspace(_history)_search` in GUI bindings
touilleMan
committed
fb1554f
Re-generate electron&web bindings
touilleMan
committed
55c1ed2
Implement file search in GUI
touilleMan
committed
475be94