[gnome-shell] workspacesView: Always sync geometry after showing overview

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

commit ef56b1455330f8a6b441ad566751575cfaebeb14
Author: Florian Müllner <fmuellner gnome org>
Date:   Tue Jul 7 13:25:47 2020 +0200

    workspacesView: Always sync geometry after showing overview
    
    We don't always want to sync the geometry when entering the overview,
    namely when the fade transition is used.
    
    However we do want the correct geometry once we have entered the overview,
    so that workspaces are at their place when switching from the app picker.
    
    https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1353

 js/ui/workspacesView.js | 3 +++
 1 file changed, 3 insertions(+)
---
diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index 0096b872b8..82a0822bb4 100644
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -381,6 +381,8 @@ class WorkspacesDisplay extends St.Widget {
         this._windowDragEndId =
             Main.overview.connect('window-drag-begin',
                 this._windowDragEnd.bind(this));
+        this._overviewShownId = Main.overview.connect('shown',
+            this._syncWorkspacesActualGeometry.bind(this));
 
         this._primaryIndex = Main.layoutManager.primaryIndex;
         this._workspacesViews = [];
@@ -433,6 +435,7 @@ class WorkspacesDisplay extends St.Widget {
         global.workspace_manager.disconnect(this._reorderWorkspacesdId);
         Main.overview.disconnect(this._windowDragBeginId);
         Main.overview.disconnect(this._windowDragEndId);
+        Main.overview.disconnect(this._overviewShownId);
     }
 
     _windowDragBegin() {