From 477818d6f61ce3bdb10949ccfdb209a0bef58fba Mon Sep 17 00:00:00 2001 From: Jeremy Wootten Date: Mon, 16 Dec 2024 16:19:43 +0000 Subject: [PATCH] Restore shell after reset --- src/Widgets/TerminalWidget.vala | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/Widgets/TerminalWidget.vala b/src/Widgets/TerminalWidget.vala index a05fca0527..4d8dc56921 100644 --- a/src/Widgets/TerminalWidget.vala +++ b/src/Widgets/TerminalWidget.vala @@ -541,6 +541,7 @@ namespace Terminal { } private void action_reset () { + var old_loc = get_shell_location (); if (confirm_kill_fg_process ( _("Are you sure you want to reset the terminal?"), _("Reset")) @@ -548,6 +549,7 @@ namespace Terminal { // This also clears the screen and the scrollback // We know there is no foreground process so we can just feed the command in reset (true, true); + active_shell (old_loc); } }