search-in-workspace: focus on next and previous search results#12703

Merged

msujew merged 12 commits intoeclipse-theia:masterfrom vladarama:search-focus-result

Feb 8, 2024

+444

Commits on Jul 12, 2023

search next/prev result commands and keybindings
Vlad Arama
committed
Fix review comments and remove menu
Vlad Arama
committed
fix id values and add execution condition
Vlad Arama
committed
Add isEnabled argument
Vlad Arama
committed

Commits on Jul 17, 2023

working next and previous search results
Vlad Arama
committed

Commits on Jul 19, 2023

improve code logic by using iterators
Vlad Arama
committed

Commits on Aug 2, 2023

Merge branch 'master' of https://github.com/vladarama/theia into search-focus-result
Vlad Arama
committed
refactor code and focus editor
Vlad Arama
committed

Commits on Aug 8, 2023

Merge branch 'master' of https://github.com/vladarama/theia into search-focus-result
Vlad Arama
committed
fix review comments
Vlad Arama
committed

Commits on Aug 10, 2023

add unit tests to the selectable trees
Vlad Arama
committed
refactor and simplify unit tests
Vlad Arama
committed