[gnome-shell] userMenu: Close menu immediately when activating Lock

[Florian MÃllner <fmuellner src gnome org>]

commit 1f30670c1d8d86c7ad62742130a4e8b721d3d28a
Author: Florian MÃllner <fmuellner gnome org>
Date:   Wed Sep 19 05:02:15 2012 +0200

    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

 js/ui/userMenu.js |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/userMenu.js b/js/ui/userMenu.js
index fcac6cd..3d6e340 100644
--- a/js/ui/userMenu.js
+++ b/js/ui/userMenu.js
@@ -12,6 +12,7 @@ const Tp = imports.gi.TelepathyGLib;
 const UPowerGlib = imports.gi.UPowerGlib;
 const Atk = imports.gi.Atk;
 
+const BoxPointer = imports.ui.boxpointer;
 const GnomeSession = imports.misc.gnomeSession;
 const Main = imports.ui.main;
 const PanelMenu = imports.ui.panelMenu;
@@ -813,6 +814,7 @@ const UserMenuButton = new Lang.Class({
     },
 
     _onLockScreenActivate: function() {
+        this.menu.close(BoxPointer.PopupAnimation.NONE);
         Main.overview.hide();
         Main.screenShield.lock(true);
     },