Fix workspace stack order

2026-10-04 03:26:54 +00:00 · 2018-04-22 14:56:05 +02:00
parent 91627013ef
commit 9ceac0e8ec
1 changed files with 9 additions and 0 deletions
@@ -67,6 +67,15 @@ function enable() {
            'workspace-removed',
            utils.dynamic_function_ref('workspaceRemoved', spaces)),

+        global.screen.connect(
+            'workspace-switched',
+            (screen, from, to) => {
+                let f = spaces.get(global.screen.get_workspace_by_index(from));
+                let t = spaces.get(global.screen.get_workspace_by_index(to));
+                Main.uiGroup.set_child_above_sibling(t.cloneContainer,
+                                                     f.cloneContainer);
+            }),
+
        // Reset primary when monitors change
        global.screen.connect("monitors-changed",
            function(screen) {