From 4afcbdbdd9ce75f9a079b9b4657ffacf11dd2220 Mon Sep 17 00:00:00 2001
From: Charles Gagnon <charlesg99@outlook.com>
Date: Sat, 9 Apr 2022 23:19:51 -0400
Subject: [PATCH] Update proximity watches on workspace switch

fixes #1618
---
 proximity.js | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/proximity.js b/proximity.js
index cb51864..44dd525 100644
--- 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,