[geany/geany] de097d: Restart the shell if VTE restart is requested

[Enrico Tröger]

Branch:      refs/heads/master
Author:      Enrico Tröger <enrico.troeger at uvena.de>
Committer:   Enrico Tröger <enrico.troeger at uvena.de>
Date:        Sun, 31 Mar 2019 13:26:34 UTC
Commit:      de097ddf693e26c008d13d0a1f36fb06609bbcad
             https://github.com/geany/geany/commit/de097ddf693e26c008d13d0a1f36fb06609bbcad

Log Message:
-----------
Restart the shell if VTE restart is requested

This happened in the past until d35e66493c7f80768dc5b8761d62ec74434bfdae
because of https://sourceforge.net/p/geany/bugs/163/ and
https://bugzilla.gnome.org/show_bug.cgi?id=540161.
But since the VTE bug has been fixed for long, we can remove the
workaround.

Closes #352.


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

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