Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Restart the shell if VTE restart is requested
This happened in the past until d35e664 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.
- Loading branch information