<div dir="ltr"><div>Upstream fix is at <a href="https://git.gnome.org/browse/vte/commit/?h=vte-0-38&id=d9d83d4">https://git.gnome.org/browse/vte/commit/?h=vte-0-38&id=d9d83d4</a><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Sun, Nov 30, 2014 at 6:46 PM, Egmont Koblinger <span dir="ltr"><<a href="mailto:egmont@gmail.com" target="_blank">egmont@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div><div><div>Hi Jérémy,<br><br></div>Thanks for the report, I forwarded it upstream:<br><a href="https://bugzilla.gnome.org/show_bug.cgi?id=740929" target="_blank">https://bugzilla.gnome.org/show_bug.cgi?id=740929</a><br><br></div>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)?<br></div><div><br></div>thanks,<br>egmont<br></div>
</blockquote></div><br></div>