[codex] Close right panel when its last tab closes (#3221)

Co-authored-by: Julius Marminge <julius@mac.lan>
dc82f792c3Julius Marminge committed on 6/20/2026, 6:48:41 AM· committed by GitHubparent335e0b5
2 files changedLine totals unavailable