From bf8e76217819a971b719ae331d125b372ce4d75f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Wed, 17 Feb 2021 20:31:33 +0100 Subject: [PATCH] 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: --- 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 8d3cb53d1..ad8dfbf53 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;