Cleanup not-needed terminal ids, when a pane is closed
This commit is contained in:
parent
9ed2dc45c4
commit
0d1a2d2bc6
1 changed files with 1 additions and 0 deletions
|
|
@ -1109,6 +1109,7 @@ impl Application for App {
|
||||||
if let Some((_state, sibling)) =
|
if let Some((_state, sibling)) =
|
||||||
self.pane_model.panes.close(self.pane_model.focus)
|
self.pane_model.panes.close(self.pane_model.focus)
|
||||||
{
|
{
|
||||||
|
self.terminal_ids.remove(&self.pane_model.focus);
|
||||||
self.pane_model.focus = sibling;
|
self.pane_model.focus = sibling;
|
||||||
} else {
|
} else {
|
||||||
return window::close(window::Id::MAIN);
|
return window::close(window::Id::MAIN);
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue