gnome-shell/js
Giovanni Campagna e6634c56d3 OtherUsersDialog: don't show closing sessions
It is possible that a session survives after closing, if any processes
(usually PulseAudio and GConf) are still alive at the end. In that case,
ignore it, as the user is already logged out and there is nothing to lose.

https://bugzilla.gnome.org/show_bug.cgi?id=695002
2013-03-03 13:51:30 +01:00
..
extensionPrefs extensionPrefs: Fix opening extension preferences on startup 2013-02-28 15:37:29 +01:00
gdm Show the session list when needed 2013-02-27 18:09:43 -05:00
misc extensionUtil: Add ExtensionFinder::extensions-loaded signal 2013-02-28 15:37:28 +01:00
perf perf: Update to latest overlay changes 2012-08-20 20:40:01 +02:00
ui OtherUsersDialog: don't show closing sessions 2013-03-03 13:51:30 +01:00
Makefile.am osdWindow: Add a simple OSD popup 2013-03-03 12:59:08 +01:00