Add support for selection-based result filtering in result viewer - #4362

Merged

asgerf merged 14 commits into

github:mainfrom

asgerf:asgerf/filter-results-to-selection

Apr 16, 2026

Commits on Apr 14, 2026

Add change note
asgerf
committed
ff6f56e
Move problems-view selected state into ResultsApp
asgerf
committed
efc2606
Move selectedTable state up into ResultsApp
asgerf
committed
3a1349e
Add a checkbox for enabling selection filtering
asgerf
committed
690f63a
Send editor selection from extension to webview
asgerf
committed
60598c6
Do not update selection filter when clicking a link
asgerf
committed
3730d2a
Add state and messages for file-filtered results
asgerf
committed
679b2c6
Compute file-filtered results
asgerf
committed
9eec6d0
Pass down selection filter data
asgerf
committed
a9fd7be
Actual show filtered results
asgerf
committed
08f5361
Render both filtered and total result count
asgerf
committed
9e6aa15
Show informative message if filter matched nothing
asgerf
committed
c457d5c
Disable pagination UI when filtering is enabled
asgerf
committed
e63e601
Explicitly notify of editor selection when clicking a link
asgerf
committed
babc2b8