From 9b9be4a1a578228f1e1a302d664a7f3c4b4cc4d4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jonas=20Dre=C3=9Fler?= Date: Fri, 19 Feb 2021 19:37:58 +0100 Subject: [PATCH] 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: --- 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 396dd7002..ba26006f7 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,