Update proximity watches on workspace switch

fixes #1618
2026-04-14 00:04:17 +09:00 · 2022-04-09 23:19:51 -04:00
parent 709bfb947e
commit 4afcbdbdd9
1 changed files with 4 additions and 1 deletions
--- a/proximity.js
+++ b/proximity.js
@@ -112,7 +112,10 @@ var ProximityManager = class {
            [
                global.window_manager,
                'switch-workspace', 
-                () => Object.keys(this._watches).forEach(id => this._watches[id].overlap = 0)
+                () => {
+                    Object.keys(this._watches).forEach(id => this._watches[id].overlap = 0)
+                    this._queueUpdate()
+                }
            ],
            [
                Main.overview,