gnome-shell/js
Florian Müllner 0e01a81219 userMenu: Remove 'Switch Session' item
GDM does not allow concurrent logins of a single user, so making
'Switch Session' a user switch operation does not work - in order
to choose a different session, users have to log out.
Rather than making 'Switch Session' an alias of 'Log out' (which
is available anyway when multiple sessions are defined), remove
the item altogether - 'Switch Session' suggests an operation that
does not loose state, and we currently favor 'Switch Session' over
'Switch User', so on systems that have both multiple users and
multiple sessions, the latter would become unavailable.

https://bugzilla.gnome.org/show_bug.cgi?id=685062
2012-10-04 08:57:55 +02:00
..
extensionPrefs Remove markup from translated strings 2012-08-06 11:59:14 -04:00
gdm ShellUserVerifier: fix typo in function name, caught on auth error 2012-10-03 22:07:27 +02:00
misc history: Allow events to bubble up when arrowing past the first/last item 2012-09-18 16:44:08 +02:00
perf perf: Update to latest overlay changes 2012-08-20 20:40:01 +02:00
ui userMenu: Remove 'Switch Session' item 2012-10-04 08:57:55 +02:00
Makefile.am ViewSelector: remove the places & devices search provider 2012-09-16 19:02:22 +02:00