Hm, more of a GNOME bug. It shouldn't kill $application but send a QUIT signal, then if the app doesn't quit within e.g. 5 seconds it can kill it. Just killing it is kind of rude ;-)
Are the other affected people also running GNOME?
Hm, more of a GNOME bug. It shouldn't kill $application but send a QUIT signal, then if the app doesn't quit within e.g. 5 seconds it can kill it. Just killing it is kind of rude ;-)
Are the other affected people also running GNOME?