Merge pull request #2116 from eht16/issue352_vte_full_restart

Restart the shell if VTE restart is requested
master
Enrico Tröger 2019-04-28 08:59:12 +00:00 committed by GitHub
commit 12f03f6773
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions

View File

@ -525,6 +525,7 @@ static void vte_restart(GtkWidget *widget)
pid = 0;
}
vf->vte_terminal_reset(VTE_TERMINAL(widget), TRUE, TRUE);
vte_start(widget);
set_clean(TRUE);
}