Repository navigation

fix(ui): keep copy-selection rows lazy during navigation - #1202

Merged

benvinegar merged 2 commits into

mainfrom

fix/lazy-navigation-rows

Oct 18, 2026

Merged

fix(ui): keep copy-selection rows lazy during navigation#1202
benvinegar merged 2 commits into
mainfrom
fix/lazy-navigation-rows

Commits on Oct 18, 2026
- fix(ui): keep copy-selection rows lazy during navigation
  benvinegar
  committed
  10ebbb9
- fix(ui): invalidate cached semantic note navigation targets
  benvinegar
  committed
  46e145f