[Github-comments] [geany/geany] Restart the shell if VTE restart is requested (#2116)

[Enrico Tröger]

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.
You can view, comment on, or merge this pull request online at:

  https://github.com/geany/geany/pull/2116

-- Commit Summary --

  * Restart the shell if VTE restart is requested

-- File Changes --

    M src/vte.c (1)

-- Patch Links --

https://github.com/geany/geany/pull/2116.patch
https://github.com/geany/geany/pull/2116.diff

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/2116
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20190331/a8254079/attachment.html>