From 63a96a7111a5ba775eafffaa9dc97754a9752584 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jonas=20Dre=C3=9Fler?= <verdre@v0yd.nl>
Date: Fri, 19 Feb 2021 19:20:32 +0100
Subject: [PATCH] workspacesView: Take scale factor into account to calculate
 spacing

This is a statically defined size and we need to adjust for scaleFactor
ourselves, so do that and multiply those two values by the scale factor.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1701>
---
 js/ui/workspacesView.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index c4b3d8252..fb9eafb0a 100644
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -228,8 +228,10 @@ class WorkspacesView extends WorkspacesViewBase {
         }
 
         const spacing = (availableSpace - workspaceSize * 0.05) * (1 - fitMode);
+        const { scaleFactor } = St.ThemeContext.get_for_stage(global.stage);
 
-        return Math.clamp(spacing, WORKSPACE_MIN_SPACING, WORKSPACE_MAX_SPACING);
+        return Math.clamp(spacing, WORKSPACE_MIN_SPACING * scaleFactor,
+            WORKSPACE_MAX_SPACING * scaleFactor);
     }
 
     _getWorkspaceModeForOverviewState(state) {