<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">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>