brl/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

workspace: Decrease spacing between workspaces in the window picker

Browse Source 
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>
This commit is contained in:
Jonas Dreßler 2021-02-19 19:37:58 +01:00 committed by Marge Bot
parent 99378b6dae
commit 9b9be4a1a5
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
js/ui/workspacesView.js
View File

@ -231,7 +231,7 @@ class WorkspacesView extends WorkspacesViewBase {
availableSpace = (width - workspaceSize) / 2; 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); const { scaleFactor } = St.ThemeContext.get_for_stage(global.stage);
return Math.clamp(spacing, WORKSPACE_MIN_SPACING * scaleFactor, return Math.clamp(spacing, WORKSPACE_MIN_SPACING * scaleFactor,