[gnome-shell-extensions] apps-menu: Update to Shell API change

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

commit 3805054b2517e8f48f8261c6405c5dfd3b3bffcf
Author: Florian MÃllner <fmuellner gnome org>
Date:   Tue Feb 5 18:32:49 2013 +0100

    apps-menu: Update to Shell API change

 extensions/apps-menu/extension.js |    8 ++++----
 1 files changed, 4 insertions(+), 4 deletions(-)
---
diff --git a/extensions/apps-menu/extension.js b/extensions/apps-menu/extension.js
index c214ff4..0e05594 100644
--- a/extensions/apps-menu/extension.js
+++ b/extensions/apps-menu/extension.js
@@ -527,8 +527,8 @@ function enable() {
     Main.panel.addToStatusArea('apps-menu', appsMenuButton, 1, 'left');
 
     Main.wm.setCustomKeybindingHandler('panel-main-menu',
-                                       Main.KeybindingMode.NORMAL |
-                                       Main.KeybindingMode.OVERVIEW,
+                                       Shell.KeyBindingMode.NORMAL |
+                                       Shell.KeyBindingMode.OVERVIEW,
                                        function() {
                                            appsMenuButton.menu.toggle();
                                        });
@@ -545,8 +545,8 @@ function disable() {
     activitiesButton.hotCorner.actor.show();
 
     Main.wm.setCustomKeybindingHandler('panel-main-menu',
-                                       Main.KeybindingMode.NORMAL |
-                                       Main.KeybindingMode.OVERVIEW,
+                                       Shell.KeyBindingMode.NORMAL |
+                                       Shell.KeyBindingMode.OVERVIEW,
                                        Main.sessionMode.hasOverview ?
                                        Lang.bind(Main.overview, Main.overview.toggle) :
                                        null);