Repository navigation

feat: search filters by name in the search page sidebar - #3167

Open

MikeShi42 wants to merge 9 commits into

mainfrom

mikeshi/filter-sidebar-search

Open

feat: search filters by name in the search page sidebar#3167
MikeShi42 wants to merge 9 commits into
mainfrom
mikeshi/filter-sidebar-search

Commits on Sep 21, 2026
- feat: search filters by name in the search page sidebar
  MikeShi42
  committed
  90b48e7
Commits on Sep 22, 2026
- test: type the new filter-search mocks instead of casting to any
  MikeShi42
  committed
  f37947c
- fix: render the body of a filter group opened by search
  MikeShi42
  committed
  68e1b80
- fix: move the filter search box above the filter list
  MikeShi42
  committed
  b0c6229
- Merge branch 'main' into mikeshi/filter-sidebar-search
  MikeShi42
  authored
  1879a84
- perf: skip the search query for keys browse already answered
  MikeShi42
  committed
  cd255d0
- fix: keep filter groups collapsible while a search is open
  MikeShi42
  committed
  d130083
- test: cover the search expansion override
  MikeShi42
  committed
  9f67027
Commits on Sep 23, 2026
- fix: keep a group expanded when it is filtered during a search
  MikeShi42
  committed
  55ded36