Guard against moving windows while changing monitors

2026-10-04 19:46:53 +00:00 · 2018-07-19 10:31:17 +02:00
parent 371b9f2c0e
commit cea275d222
1 changed files with 2 additions and 0 deletions
@@ -1275,6 +1275,8 @@ class Spaces extends Map {

        let monitor = Main.layoutManager.monitors[index];
        let space = this.monitors.get(monitor);
+        if (space.monitor.index() !== monitor.index())
+            return;
        let focus = metaWindow.has_focus();

        metaWindow.change_workspace(space.workspace);