You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
45 lines
1.8 KiB
45 lines
1.8 KiB
7 years ago
|
From 8d085a574b5b5d1055451a1b430fcf5cb9af4859 Mon Sep 17 00:00:00 2001
|
||
|
|
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
|
||
|
|
Date: Tue, 14 Mar 2017 17:04:36 +0100
|
||
|
|
Subject: [PATCH] windowMenu: Bring back workspaces submenu for static
|
||
|
|
workspaces
|
||
|
|
|
||
|
|
When the titlebar context menu was moved to the shell, the submenu for
|
||
|
|
moving to a specific workspace was intentionally left out; some people
|
||
|
|
are quite attached to it though, so bring it back when static workspaces
|
||
|
|
are used.
|
||
|
|
---
|
||
|
|
js/ui/windowMenu.js | 16 ++++++++++++++++
|
||
|
|
1 file changed, 16 insertions(+)
|
||
|
|
|
||
|
|
diff --git a/js/ui/windowMenu.js b/js/ui/windowMenu.js
|
||
|
|
index 7aa57beb3..8751c4c4d 100644
|
||
|
|
--- a/js/ui/windowMenu.js
|
||
|
|
+++ b/js/ui/windowMenu.js
|
||
|
|
@@ -119,6 +119,22 @@ var WindowMenu = new Lang.Class({
|
||
|
|
window.change_workspace(workspace.get_neighbor(Meta.MotionDirection.DOWN));
|
||
|
|
}));
|
||
|
|
}
|
||
|
|
+
|
||
|
|
+ let nWorkspaces = global.screen.n_workspaces;
|
||
|
|
+ if (nWorkspaces > 1 && !Meta.prefs_get_dynamic_workspaces()) {
|
||
|
|
+ item = new PopupMenu.PopupSubMenuMenuItem(_("Move to another workspace"));
|
||
|
|
+ this.addMenuItem(item);
|
||
|
|
+
|
||
|
|
+ let currentIndex = global.screen.get_active_workspace_index();
|
||
|
|
+ for (let i = 0; i < nWorkspaces; i++) {
|
||
|
|
+ let index = i;
|
||
|
|
+ let name = Meta.prefs_get_workspace_name(i);
|
||
|
|
+ let subitem = item.menu.addAction(name, Lang.bind(this, function() {
|
||
|
|
+ window.change_workspace_by_index(index, false);
|
||
|
|
+ }));
|
||
|
|
+ subitem.setSensitive(currentIndex != i);
|
||
|
|
+ }
|
||
|
|
+ }
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
--
|
||
|
|
2.14.2
|
||
|
|
|