Repository navigation

refactor(workspace): polish tab context menu - #29

Open

nianshou555qiansui wants to merge 3 commits into

ohmygit-hub:mainfrom

nianshou555qiansui:feat/tab-context-menu-polish

Open

refactor(workspace): polish tab context menu#29
nianshou555qiansui wants to merge 3 commits into
ohmygit-hub:mainfrom
nianshou555qiansui:feat/tab-context-menu-polish

Commits on Jul 12, 2026
- refactor(workspace): polish tab context menu
  nianshou555qiansui
  committed
  ecff9dc
Commits on Jul 18, 2026
- Merge remote-tracking branch 'upstream/main' into feat/tab-context-menu-polish
  nianshou555qiansui
  committed
  e22cd50
- fix(workspace): preserve surviving tab history when closing tabs to the right
  nianshou555qiansui
  committed
  1981c49