Skip to main content
Observation of a terminal_close: the Shell tab removed. Whether the last tab may go is the consumer’s rule (mainLoopReducer.ts keeps a lone shell).