[gnome-shell-extensions] alternate-tab: Update to Shell API change

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

commit 443837e09d192686f27d3e50fa8d75079afe16b2
Author: Florian MÃllner <fmuellner gnome org>
Date:   Fri Jan 18 19:29:26 2013 +0100

    alternate-tab: Update to Shell API change
    
    Main.KeybindingMode is now Shell.KeyBindingMode ...

 extensions/alternate-tab/extension.js |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)
---
diff --git a/extensions/alternate-tab/extension.js b/extensions/alternate-tab/extension.js
index c9e0bbf..c3ef698 100644
--- a/extensions/alternate-tab/extension.js
+++ b/extensions/alternate-tab/extension.js
@@ -3,6 +3,7 @@
 const Clutter = imports.gi.Clutter;
 const Lang = imports.lang;
 const Meta = imports.gi.Meta;
+const Shell = imports.gi.Shell;
 
 const AltTab = imports.ui.altTab;
 const Main = imports.ui.main;
@@ -13,7 +14,7 @@ function init(metadata) {
 }
 
 function setKeybinding(name, func) {
-    Main.wm.setCustomKeybindingHandler(name, Main.KeybindingMode.NORMAL, func);
+    Main.wm.setCustomKeybindingHandler(name, Shell.KeyBindingMode.NORMAL, func);
 }
 
 function enable() {