From 0d1a2d2bc637f5eb87fd677040e72e94549ad054 Mon Sep 17 00:00:00 2001
From: Mattias Eriksson <snaggen@mayam.com>
Date: Wed, 17 Jan 2024 16:54:42 +0100
Subject: [PATCH] Cleanup not-needed terminal ids, when a pane is closed

---
 src/main.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/main.rs b/src/main.rs
index 54ce6e2..f8b2496 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -1109,6 +1109,7 @@ impl Application for App {
                         if let Some((_state, sibling)) =
                             self.pane_model.panes.close(self.pane_model.focus)
                         {
+                            self.terminal_ids.remove(&self.pane_model.focus);
                             self.pane_model.focus = sibling;
                         } else {
                             return window::close(window::Id::MAIN);