From 449e12cf22088f85387a3068de61403dfcd51b64 Mon Sep 17 00:00:00 2001
From: rpm-build <rpm-build>
Date: Jan 15 2021 06:11:27 +0000
Subject: 0001-windowMenu-Bring-back-workspaces-submenu-for-static-.patch


patch_name: 0001-windowMenu-Bring-back-workspaces-submenu-for-static-.patch
present_in_specfile: true
location_in_specfile: 19

---

diff --git a/js/ui/windowMenu.js b/js/ui/windowMenu.js
index 628f145..f8eb439 100644
--- a/js/ui/windowMenu.js
+++ b/js/ui/windowMenu.js
@@ -115,6 +115,23 @@ var WindowMenu = class extends PopupMenu.PopupMenu {
                         window.change_workspace(workspace.get_neighbor(dir));
                     });
                 }
+
+                let { workspaceManager } = global;
+                let nWorkspaces = workspaceManager.n_workspaces;
+                if (nWorkspaces > 1 && !Meta.prefs_get_dynamic_workspaces()) {
+                    item = new PopupMenu.PopupSubMenuMenuItem(_("Move to another workspace"));
+                    this.addMenuItem(item);
+
+                    let currentIndex = workspaceManager.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, () => {
+                            window.change_workspace_by_index(index, false);
+                        });
+                        subitem.setSensitive(currentIndex != i);
+                    }
+                }
             }
         }