From 595a0832011f861b11f8b3fc41259b725e4f7358 Mon Sep 17 00:00:00 2001
From: Charles Gagnon <charlesg99@outlook.com>
Date: Thu, 30 Apr 2020 13:13:33 -0400
Subject: [PATCH] Update proximity when closing the overview

---
 proximity.js | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/proximity.js b/proximity.js
index a49dbd7..5130da2 100644
--- a/proximity.js
+++ b/proximity.js
@@ -122,6 +122,11 @@ var ProximityManager = Utils.defineClass({
                 'switch-workspace', 
                 () => Object.keys(this._watches).forEach(id => this._watches[id].overlap = 0)
             ],
+            [
+                Main.overview,
+                'hidden',
+                () => this._queueUpdate()
+            ],
             [
                 global.display,
                 'notify::focus-window',