[gnome-shell-extensions] window-list: Fix faking overview

[Florian Müllner <fmuellner src gnome org>]

commit a904d51cf73ef167edd88991085fe0fdf8b746f7
Author: Florian Müllner <fmuellner gnome org>
Date:   Thu Nov 21 21:53:44 2019 +0100

    window-list: Fix faking overview
    
    The public overview properties are now read-only, so switch to the
    private properties which back them to fake the overview visibility.
    
    https://gitlab.gnome.org/GNOME/gnome-shell-extensions/merge_requests/96

 extensions/window-list/windowPicker.js | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)
---
diff --git a/extensions/window-list/windowPicker.js b/extensions/window-list/windowPicker.js
index 0e3a59f..b1533da 100644
--- a/extensions/window-list/windowPicker.js
+++ b/extensions/window-list/windowPicker.js
@@ -174,12 +174,12 @@ var WindowPicker = GObject.registerClass({
     }
 
     _fakeOverviewAnimation(onComplete) {
-        Main.overview.animationInProgress = true;
+        Main.overview._animationInProgress = true;
         GLib.timeout_add(
             GLib.PRIORITY_DEFAULT,
             Overview.ANIMATION_TIME,
             () => {
-                Main.overview.animationInProgress = false;
+                Main.overview._animationInProgress = false;
                 if (onComplete)
                     onComplete();
             });
@@ -187,7 +187,7 @@ var WindowPicker = GObject.registerClass({
 
     _fakeOverviewVisible(visible) {
         // Fake overview state for WorkspacesDisplay
-        Main.overview.visible = visible;
+        Main.overview._visible = visible;
 
         // Hide real windows
         Main.layoutManager._inOverview = visible;