gnome-shell/js
Florian Müllner 3429fc3e4c userMenu: Close menu immediately on user/session switch
The same reasoning as for commit 1f30670c1d also applies to
VT switches.

https://bugzilla.gnome.org/show_bug.cgi?id=684459
2012-09-21 16:07:38 +02:00
..
extensionPrefs Remove markup from translated strings 2012-08-06 11:59:14 -04:00
gdm Fix 10884ef7f5 2012-09-19 13:01:56 +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: Close menu immediately on user/session switch 2012-09-21 16:07:38 +02:00
Makefile.am ViewSelector: remove the places & devices search provider 2012-09-16 19:02:22 +02:00