Branch: refs/heads/master Author: Enrico Tröger enrico.troeger@uvena.de Committer: GitHub noreply@github.com Date: Sun, 28 Apr 2019 08:59:12 UTC Commit: 12f03f67737ea018620dfff7f15c7a02023af6b6 https://github.com/geany/geany/commit/12f03f67737ea018620dfff7f15c7a02023af6...

Log Message: ----------- Merge pull request #2116 from eht16/issue352_vte_full_restart

Restart the shell if VTE restart is requested

Modified Paths: -------------- src/vte.c

Modified: src/vte.c 1 lines changed, 1 insertions(+), 0 deletions(-) =================================================================== @@ -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); }

-------------- This E-Mail was brought to you by github_commit_mail.py (Source: https://github.com/geany/infrastructure).