From de097ddf693e26c008d13d0a1f36fb06609bbcad Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Enrico=20Tr=C3=B6ger?= <enrico.troeger@uvena.de>
Date: Sun, 31 Mar 2019 15:26:34 +0200
Subject: [PATCH] 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.
---
 src/vte.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/vte.c b/src/vte.c
index 37b42f58..fdbad16c 100644
--- a/src/vte.c
+++ b/src/vte.c
@@ -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);
 }