Repository navigation

Implement search across all columns in the Data Explorer - #17120

Open

jmcphers wants to merge 16 commits into

mainfrom

feature/data-explorer-search

Open

Implement search across all columns in the Data Explorer#17120
jmcphers wants to merge 16 commits into
mainfrom
feature/data-explorer-search

Commits on Nov 2, 2026
- initial impl of data explorer search
  jmcphers
  committed
  69c8622
- add r test for search
  jmcphers
  committed
  5e0f8aa
Commits on Nov 3, 2026
- highlight row names if needed; fix no results case
  jmcphers
  committed
  5e5745a
- make sure a search result is visible
  jmcphers
  committed
  eb2d698
- search highlight should sit inside selection border
  jmcphers
  committed
  b721938
Commits on Nov 4, 2026
- the status bar bits aren't all that helpful after all
  jmcphers
  committed
  52db9cb
- fix python limits; add affordance to search all rows
  jmcphers
  committed
  8408784
- add format options so we can match rounded values
  jmcphers
  committed
  b14c168
- only enable cmd+f when supported, handle trailing '.'
  jmcphers
  committed
  aa48325
- bump ark
  jmcphers
  committed
  d0631b5
- restore mistakenly committed lfs file
  jmcphers
  committed
  eaf4eab
- better layout behavior for 'search all'
  jmcphers
  committed
  f717fe6
- love 2 write python
  jmcphers
  committed
  006dc6e
- Merge remote-tracking branch 'origin/main' into feature/data-explorer-search
  jmcphers
  committed
  4aa90ed
- update outdated tests
  jmcphers
  committed
  dedea1c
Commits on Nov 9, 2026
- Merge remote-tracking branch 'origin/main' into feature/data-explorer-search
  jmcphers
  committed
  14451c0