[gnome-shell-extensions] window-list: Adjust to gnome-shell changes

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

commit 3742f79d4b0f6621ca44b4c878a01b8bdb0f6843
Author: Florian Müllner <fmuellner gnome org>
Date:   Tue Jul 7 17:04:58 2020 +0200

    window-list: Adjust to gnome-shell changes
    
    The window picker saw a significant overhaul. Amazingly the adjustments
    necessary are relatively small ...
    
    https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/124

 extensions/window-list/windowPicker.js | 17 ++++++++++-------
 1 file changed, 10 insertions(+), 7 deletions(-)
---
diff --git a/extensions/window-list/windowPicker.js b/extensions/window-list/windowPicker.js
index b485d5c..d0289ee 100644
--- a/extensions/window-list/windowPicker.js
+++ b/extensions/window-list/windowPicker.js
@@ -26,6 +26,8 @@ class MyWorkspacesDisplay extends WorkspacesDisplay {
 
         super._init(this._workspaceAdjustment);
 
+        this._workspaceAdjustment.actor = this;
+
         this.add_constraint(
             new Layout.MonitorConstraint({
                 primary: true,
@@ -37,27 +39,28 @@ class MyWorkspacesDisplay extends WorkspacesDisplay {
         this._onWorkAreasChanged();
     }
 
-    show(...args) {
+    animateToOverview(...args) {
         if (!this._scrollEventId) {
             this._scrollEventId = Main.windowPicker.connect('scroll-event',
                 this._onScrollEvent.bind(this));
         }
 
-        super.show(...args);
+        super.animateToOverview(...args);
     }
 
-    hide(...args) {
+    vfunc_hide(...args) {
         if (this._scrollEventId > 0)
             Main.windowPicker.disconnect(this._scrollEventId);
         this._scrollEventId = 0;
 
-        super.hide(...args);
+        super.vfunc_hide(...args);
     }
 
     _onWorkAreasChanged() {
         let { primaryIndex } = Main.layoutManager;
-        let workarea = Main.layoutManager.getWorkAreaForMonitor(primaryIndex);
-        this.setWorkspacesFullGeometry(workarea);
+        this._actualGeometry =
+            Main.layoutManager.getWorkAreaForMonitor(primaryIndex);
+        this._syncWorkspacesActualGeometry();
     }
 
     _updateAdjustment() {
@@ -163,7 +166,7 @@ var WindowPicker = GObject.registerClass({
         this._fakeOverviewVisible(true);
         this._shadeBackgrounds();
         this._fakeOverviewAnimation();
-        this._workspacesDisplay.show(false);
+        this._workspacesDisplay.animateToOverview(false);
 
         this._stageKeyPressId = global.stage.connect('key-press-event',
             (a, event) => {