[gnome-shell] windowManager: Adapt to mutter API change
- From: Jasper St. Pierre <jstpierre src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell] windowManager: Adapt to mutter API change
- Date: Tue, 17 Apr 2012 00:34:34 +0000 (UTC)
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));
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]