Repository navigation

feat(web): improve terminal workspace controls - #7149

Closed

maria-rcks wants to merge 17 commits into

mainfrom

ui-refresh/terminal

Commits on Aug 19, 2026
- feat(web): refresh pull request details
  maria-rcks
  committed
  15a93c1
- fix(web): separate pull request page primitives
  maria-rcks
  committed
  ffcaa7b
- docs(web): explain pull request scroll anchoring
  maria-rcks
  committed
  975f561
- docs(web): preserve pull request scroll intent
  maria-rcks
  committed
  eb77848
- fix(web): clarify pull request handoffs
  maria-rcks
  committed
  a739de0
- fix(web): label condensed pull request authors
  maria-rcks
  committed
  4ea57ac
- fix(web): keep pull request header compact
  maria-rcks
  committed
  eee6a04
- feat(web): improve terminal workspace controls
  maria-rcks
  committed
  c325978
- fix(web): release stale terminal resize width
  maria-rcks
  committed
  cf4a077
- fix(web): normalize terminal ids when closing
  maria-rcks
  committed
  1461867
- fix(web): clear stale terminal rename state
  maria-rcks
  committed
  4363ed2
- fix(web): guard terminal label lookups
  maria-rcks
  committed
  28eea3b
- fix(web): align terminal sidebar controls
  maria-rcks
  committed
  18da929
- fix(web): mute disabled terminal actions
  maria-rcks
  committed
  d750273
- fix(web): align terminal rename controls
  maria-rcks
  committed
  afaab4f
- fix(web): size terminal rename rows
  maria-rcks
  committed
  dde9001
- fix(web): keep terminal panel width separate
  maria-rcks
  committed
  69bbbf1