[gnome-shell] workspace: Decrease spacing between workspaces in the window picker

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

commit 9b9be4a1a578228f1e1a302d664a7f3c4b4cc4d4
Author: Jonas Dreßler <verdre v0yd nl>
Date:   Fri Feb 19 19:37:58 2021 +0100

    workspace: Decrease spacing between workspaces in the window picker
    
    Use a bit less spacing between the workspaces in the window picker, this
    uses more of the available space and makes it easy to take a peek at
    adjacent workspaces.
    
    Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1702>

 js/ui/workspacesView.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index 396dd70026..ba26006f76 100644
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -231,7 +231,7 @@ class WorkspacesView extends WorkspacesViewBase {
             availableSpace = (width - workspaceSize) / 2;
         }
 
-        const spacing = (availableSpace - workspaceSize * 0.05) * (1 - fitMode);
+        const spacing = (availableSpace - workspaceSize * 0.4) * (1 - fitMode);
         const { scaleFactor } = St.ThemeContext.get_for_stage(global.stage);
 
         return Math.clamp(spacing, WORKSPACE_MIN_SPACING * scaleFactor,