[gnome-shell] workspaceThumbnail: Base n-workspaces on number of thumbs

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

commit bf8e76217819a971b719ae331d125b372ce4d75f
Author: Florian Müllner <fmuellner gnome org>
Date:   Wed Feb 17 20:31:33 2021 +0100

    workspaceThumbnail: Base n-workspaces on number of thumbs
    
    It's what we base our size request on, and what we actually allocate.
    The difference usually doesn't matter right now, but will soon when
    we animate the minimap itself.
    
    https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/3739
    
    Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1696>

 js/ui/workspaceThumbnail.js | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)
---
diff --git a/js/ui/workspaceThumbnail.js b/js/ui/workspaceThumbnail.js
index 8d3cb53d18..ad8dfbf539 100644
--- a/js/ui/workspaceThumbnail.js
+++ b/js/ui/workspaceThumbnail.js
@@ -1257,9 +1257,7 @@ var ThumbnailsBox = GObject.registerClass({
         if (this._thumbnails.length == 0) // not visible
             return;
 
-        let workspaceManager = global.workspace_manager;
         let themeNode = this.get_theme_node();
-
         box = themeNode.get_content_box(box);
 
         const portholeWidth = this._porthole.width;
@@ -1267,7 +1265,7 @@ var ThumbnailsBox = GObject.registerClass({
         const spacing = themeNode.get_length('spacing');
 
         // Compute the scale we'll need once everything is updated
-        let nWorkspaces = workspaceManager.n_workspaces;
+        const nWorkspaces = this._thumbnails.length;
         let totalSpacing = (nWorkspaces - 1) * spacing;
         const availableWidth = (box.get_width() - totalSpacing) / nWorkspaces;