From 29c34249136cd2fa3da826fa50ed9ab68baaf3cd Mon Sep 17 00:00:00 2001 From: CJ van den Berg Date: Fri, 27 Feb 2026 16:07:01 +0100 Subject: [PATCH] fix(terminal): reset terminal if closed when exited --- src/tui/terminal_view.zig | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/tui/terminal_view.zig b/src/tui/terminal_view.zig index 925ae8a..7858c8d 100644 --- a/src/tui/terminal_view.zig +++ b/src/tui/terminal_view.zig @@ -190,6 +190,10 @@ pub fn unfocus(self: *Self) void { } pub fn deinit(self: *Self, allocator: Allocator) void { + if (global_vt) |*vt| if (vt.process_exited) { + vt.deinit(allocator); + global_vt = null; + }; if (self.focused) tui.release_keyboard_focus(Widget.to(self)); self.commands.unregister(); self.plane.deinit();