Florian Müllner 1f30670c1d userMenu: Close menu immediately when activating Lock ... When locking the screen, the user menu is moved to the opposite side. Unless we close the menu immediately without animation, the menu will jump to the other side and fade out while the screen shield slides down. https://bugzilla.gnome.org/show_bug.cgi?id=684343		2012-09-19 11:50:57 +02:00
..
extensionPrefs	Remove markup from translated strings	2012-08-06 11:59:14 -04:00
gdm	ShellUserVerifier: catch DBus errors and report them to the user	2012-09-19 11:50:57 +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 when activating Lock	2012-09-19 11:50:57 +02:00
Makefile.am	ViewSelector: remove the places & devices search provider	2012-09-16 19:02:22 +02:00