Repository navigation

fix(ui): fold server notices and editor references into single lines - #537

Merged

sudo-tee merged 10 commits into

sudo-tee:mainfrom

jensenojs:fix/fold-system-notices

Oct 23, 2026

Merged

fix(ui): fold server notices and editor references into single lines#537
sudo-tee merged 10 commits into
sudo-tee:mainfrom
jensenojs:fix/fold-system-notices

Commits on Oct 23, 2026
- fix(ui): show server notices by their description line
  jensenojs
  committed
  c7832e7
- test: pin the v2 event contract to the shipped binary
  jensenojs
  committed
  a67afa4
- test: widen question_window waits for slow runners
  jensenojs
  committed
  2f5a733
- fix(ui): fold editor selections into a one-line reference
  jensenojs
  committed
  81dda3b
- feat(ui): jump straight to the only match
  jensenojs
  committed
  8cd61eb
- refactor: route unknown session events through one contract entry
  jensenojs
  committed
  509fd5e
- fix(ui): register navigation targets for editor selections
  sudo-tee
  committed
  3d308cc
- fix(protocol): report unknown events only at the router
  sudo-tee
  committed
  9aab267
- fix(test): keep event coverage optional for launcher installs
  sudo-tee
  committed
  7b8707a
- fix(formatter): extend user border across selection separator
  sudo-tee
  committed
  a66e86b