[gnome-shell-extensions/wip/rstrode/heads-up-display: 53/62] window-list: Leave "fake overview" when destroyed

[Ray Strode <halfline src gnome org>]

commit f5fc1bde958d5f989aeb5d0b64d4b2161c4babb4
Author: Florian Müllner <fmuellner gnome org>
Date:   Tue Jan 26 21:14:47 2021 +0100

    window-list: Leave "fake overview" when destroyed
    
    Otherwise we leave an incomplete overview-like state around, which
    can cause issues later when the extension is re-enabled (for example
    when coming back from screen lock).
    
    https://bugzilla.redhat.com/show_bug.cgi?id=1904371

 extensions/window-list/windowPicker.js | 2 ++
 1 file changed, 2 insertions(+)
---
diff --git a/extensions/window-list/windowPicker.js b/extensions/window-list/windowPicker.js
index 12a7627..afb5d27 100644
--- a/extensions/window-list/windowPicker.js
+++ b/extensions/window-list/windowPicker.js
@@ -210,6 +210,8 @@ var WindowPicker = class {
     }
 
     _onDestroy() {
+        this._fakeOverviewVisible(false);
+
         if (this._monitorsChangedId)
             Main.layoutManager.disconnect(this._monitorsChangedId);
         this._monitorsChangedId = 0;