Just to check in on this ticket -- the problem hasn't been forgotten. However it still hasn't been resolved upstream in GTK+:
https://bugzilla.gnome.org/show_bug.cgi?id=79285#c35 -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/307684 Title: gnome session termination isn't handled properly -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
