[gnome-shell] workspacesView: Queue relayout when overview adjustment value change

[Marge Bot <marge-bot src gnome org>]

commit 0ed1a363a37db5cf7c9d84f5d068a9cd36996503
Author: Georges Basile Stavracas Neto <georges stavracas gmail com>
Date:   Wed May 12 11:57:23 2021 -0300

    workspacesView: Queue relayout when overview adjustment value change
    
    The overview adjustment quite significantly impacts the layout of
    SecondaryMonitorDisplay(), and this needs to be accounted for by queueing
    a relayout.
    
    Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1845>

 js/ui/workspacesView.js | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)
---
diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index 6aa8b2615b..1d03e31319 100644
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -627,7 +627,10 @@ class SecondaryMonitorDisplay extends St.Widget {
             () => this._updateThumbnailVisibility());
 
         this._stateChangedId = this._overviewAdjustment.connect('notify::value',
-            () => this._updateThumbnailParams());
+            () => {
+                this._updateThumbnailParams();
+                this.queue_relayout();
+            });
 
         this._settings = new Gio.Settings({ schema_id: MUTTER_SCHEMA });
         this._settings.connect('changed::workspaces-only-on-primary',