fix(terminal): reset terminal if closed when exited
This commit is contained in:
parent
0a37c2b05b
commit
29c3424913
1 changed files with 4 additions and 0 deletions
|
|
@ -190,6 +190,10 @@ pub fn unfocus(self: *Self) void {
|
||||||
}
|
}
|
||||||
|
|
||||||
pub fn deinit(self: *Self, allocator: Allocator) 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));
|
if (self.focused) tui.release_keyboard_focus(Widget.to(self));
|
||||||
self.commands.unregister();
|
self.commands.unregister();
|
||||||
self.plane.deinit();
|
self.plane.deinit();
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue