Upstream fix is at https://git.gnome.org/browse/vte/commit/?h=vte-0-38&id=d9d83d4
On Sun, Nov 30, 2014 at 6:46 PM, Egmont Koblinger <[email protected]> wrote: > Hi Jérémy, > > Thanks for the report, I forwarded it upstream: > https://bugzilla.gnome.org/show_bug.cgi?id=740929 > > Could you please verify that this only occurs to you if you close the > tab/window by its X button or a shortcut key, and not when you ask the > shell to exit (with Ctrl+D or the exit command or such)? > > thanks, > egmont >
