[gnome-shell] main: Do not hard-code <super> as overlay-key

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

commit 028e83181beba9e227254a11117cde4c13496bbf
Author: Florian MÃllner <fmuellner gnome org>
Date:   Sat Aug 11 02:33:20 2012 +0200

    main: Do not hard-code <super> as overlay-key
    
    Use the new OVERLAY_KEY keybinding action instead of special-casing
    the overlay-key to make sure the same key will be used in- and outside
    the overview.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=665547

 js/ui/main.js |    7 +------
 1 files changed, 1 insertions(+), 6 deletions(-)
---
diff --git a/js/ui/main.js b/js/ui/main.js
index 766d865..adfaae2 100644
--- a/js/ui/main.js
+++ b/js/ui/main.js
@@ -588,12 +588,6 @@ function _globalKeyPressHandler(actor, event) {
     // This relies on the fact that Clutter.ModifierType is the same as Gdk.ModifierType
     let action = global.display.get_keybinding_action(keyCode, modifierState);
 
-    // This isn't a Meta.KeyBindingAction yet
-    if (symbol == Clutter.Super_L || symbol == Clutter.Super_R) {
-        overview.hide();
-        return true;
-    }
-
     if (action == Meta.KeyBindingAction.SWITCH_PANELS) {
         ctrlAltTabManager.popup(modifierState & Clutter.ModifierType.SHIFT_MASK,
                                 modifierState);
@@ -636,6 +630,7 @@ function _globalKeyPressHandler(actor, event) {
             getRunDialog().open();
             return true;
         case Meta.KeyBindingAction.PANEL_MAIN_MENU:
+        case Meta.KeyBindingAction.OVERLAY_KEY:
             overview.hide();
             return true;
     }