diff options
Diffstat (limited to 'js/ui/windowManager.js')
-rw-r--r-- | js/ui/windowManager.js | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js index 2838664e4..5a577dfed 100644 --- a/js/ui/windowManager.js +++ b/js/ui/windowManager.js @@ -779,13 +779,6 @@ var WindowManager = class { Shell.ActionMode.OVERVIEW, this._startSwitcher.bind(this)); - this.addKeybinding('open-application-menu', - new Gio.Settings({ schema_id: SHELL_KEYBINDINGS_SCHEMA }), - Meta.KeyBindingFlags.IGNORE_AUTOREPEAT, - Shell.ActionMode.NORMAL | - Shell.ActionMode.POPUP, - this._toggleAppMenu.bind(this)); - this.addKeybinding('toggle-message-tray', new Gio.Settings({ schema_id: SHELL_KEYBINDINGS_SCHEMA }), Meta.KeyBindingFlags.IGNORE_AUTOREPEAT, @@ -1710,10 +1703,6 @@ var WindowManager = class { } } - _toggleAppMenu() { - Main.panel.toggleAppMenu(); - } - _toggleCalendar() { Main.panel.toggleCalendar(); } |