[gnome-shell] windowManager: Adapt to mutter API change

[Jasper St. Pierre <jstpierre src gnome org>]

commit 731317230a46bb123650f0f0fa90b32f1f18a1f4
Author: Florian MÃllner <fmuellner gnome org>
Date:   Mon Apr 16 23:50:59 2012 +0200

    windowManager: Adapt to mutter API change
    
    https://bugzilla.gnome.org/show_bug.cgi?id=673014

 js/ui/windowManager.js |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index 1e2b2f4..c6b17ad 100644
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -136,7 +136,7 @@ const WindowManager = new Lang.Class({
         Meta.keybindings_set_custom_handler('switch-panels',
                                             Lang.bind(this, this._startA11ySwitcher));
         global.display.add_keybinding('open-application-menu',
-                                      SHELL_KEYBINDINGS_SCHEMA,
+                                      new Gio.Settings({ schema: SHELL_KEYBINDINGS_SCHEMA }),
                                       Meta.KeyBindingFlags.NONE,
                                       Lang.bind(this, this._openAppMenu));