Skip to content

Commit

Permalink
Restore shell after reset
Browse files Browse the repository at this point in the history
  • Loading branch information
Jeremy Wootten authored and Jeremy Wootten committed Dec 16, 2024
1 parent 7d16bde commit 477818d
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions src/Widgets/TerminalWidget.vala
Original file line number Diff line number Diff line change
Expand Up @@ -541,13 +541,15 @@ 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"))
) {
// 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);
}
}

Expand Down

0 comments on commit 477818d

Please sign in to comment.