diff options
Diffstat (limited to 'community/cinnamon/switch-applications.patch')
-rw-r--r-- | community/cinnamon/switch-applications.patch | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/community/cinnamon/switch-applications.patch b/community/cinnamon/switch-applications.patch index ce2e31825..1254a7ce4 100644 --- a/community/cinnamon/switch-applications.patch +++ b/community/cinnamon/switch-applications.patch @@ -12,30 +12,6 @@ diff -Naur linuxmint-Cinnamon-b41bad0.orig/files/usr/lib/cinnamon-settings/modul [_("Run dialog (must restart Cinnamon)"), "org.gnome.desktop.wm.keybindings", "panel-run-dialog", True, "cinnamon"], [_("Menu button (must restart Cinnamon)"), "org.cinnamon.muffin", "overlay-key", False, "cinnamon"], -diff -Naur linuxmint-Cinnamon-b41bad0.orig/js/ui/altTab.js linuxmint-Cinnamon-b41bad0/js/ui/altTab.js ---- linuxmint-Cinnamon-b41bad0.orig/js/ui/altTab.js 2013-04-15 15:55:01.000000000 +0200 -+++ linuxmint-Cinnamon-b41bad0/js/ui/altTab.js 2013-04-24 21:22:38.309568355 +0200 -@@ -203,9 +203,9 @@ - } - } else if (binding == 'switch-group-backward') { - this._select(0, this._appIcons[0].cachedWindows.length - 1); -- } else if (binding == 'switch-windows-backward') { -+ } else if (binding == 'switch-applications-backward') { - this._select(this._appIcons.length - 1); -- } else if (binding == 'no-switch-windows') { -+ } else if (binding == 'no-switch-applications') { - this._select(0); - } else if (this._appIcons.length == 1) { - this._select(0); -@@ -296,7 +296,7 @@ - return false; - } - Main.wm.showWorkspaceOSD(); -- that.refresh('no-switch-windows'); -+ that.refresh('no-switch-applications'); - return true; - }; - let keysym = event.get_key_symbol(); diff -Naur linuxmint-Cinnamon-b41bad0.orig/js/ui/windowManager.js linuxmint-Cinnamon-b41bad0/js/ui/windowManager.js --- linuxmint-Cinnamon-b41bad0.orig/js/ui/windowManager.js 2013-04-15 15:55:01.000000000 +0200 +++ linuxmint-Cinnamon-b41bad0/js/ui/windowManager.js 2013-04-24 21:21:22.447677094 +0200 |