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
