From a904d51cf73ef167edd88991085fe0fdf8b746f7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Thu, 21 Nov 2019 21:53:44 +0100
Subject: [PATCH] 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 0e3a59f5..b1533dac 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;