[gnome-shell] pushModal: clear focus after pushing a new level

[Dan Winship <danw src gnome org>]

commit f21403fd9f7f6a70484d8b938545f0741707544a
Author: Dan Winship <danw gnome org>
Date:   Fri Oct 29 14:54:53 2010 -0400

    pushModal: clear focus after pushing a new level
    
    This way the new modal level is independent of whatever may have been
    happening before. Fixes a problem with status menus becoming active
    again from inside the app switcher, etc.

 js/ui/main.js |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/main.js b/js/ui/main.js
index 8e46209..5177df6 100644
--- a/js/ui/main.js
+++ b/js/ui/main.js
@@ -390,6 +390,7 @@ function pushModal(actor) {
     }
     modalActorFocusStack.push([actor, curFocus]);
 
+    global.stage.set_key_focus(null);
     return true;
 }