Bugfix: Pointer always warped when moving it to the bottom monitor

2026-10-06 20:07:02 +00:00 · 2018-12-19 21:24:04 +01:00
parent 0f745e0c86
commit 21039ec6ec
1 changed files with 1 additions and 1 deletions
@@ -1155,7 +1155,7 @@ class Spaces extends Map {
        TopBar.setMonitor(toSpace.monitor);
        toSpace.monitor.clickOverlay.deactivate();

-        let [ok, x, y] = global.get_pointer();
+        let [x, y, _mods] = global.get_pointer();
        x -= monitor.x;
        y -= monitor.y;
        if (x < 0 || x > monitor.width ||