summaryrefslogtreecommitdiff
path: root/community/cinnamon/switch-applications.patch
diff options
context:
space:
mode:
Diffstat (limited to 'community/cinnamon/switch-applications.patch')
-rw-r--r--community/cinnamon/switch-applications.patch24
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