Restart shell in terminal pane if it exits - #1618

Merged

lenemter merged 7 commits into

jeremypw/terminal/close-restart-after-exit

Aug 10, 2025

Commits on Jun 29, 2025

Properly hide exited terminal, restart shell
jeremypw
committed
27897b9

Commits on Jul 16, 2025

Merge branch 'master' into jeremypw/terminal/close-restart-after-exit
jeremypw
authored
61c4c71

Commits on Jul 18, 2025

Use existing settings object
jeremypw
committed
f7d4014

Commits on Jul 19, 2025

Merge branch 'master' into jeremypw/terminal/close-restart-after-exit
jeremypw
authored
c28716d

Commits on Jul 21, 2025

Merge branch 'master' into jeremypw/terminal/close-restart-after-exit
leonardo-lemos
authored
90b8d11

Commits on Aug 9, 2025

Merge branch 'master' into jeremypw/terminal/close-restart-after-exit
jeremypw
authored
1938dd5

Commits on Aug 10, 2025

Use existing saved-state settings object
jeremypw
committed
b92bbaf