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

workspace: Reduce spacing between window previews

Browse Source 
With the window titles no longer being shown as part of the previews
grid, we can reduce the spacing to have more space available to the
window previews themselves.

https://bugzilla.gnome.org/show_bug.cgi?id=783953
This commit is contained in:
Florian Müllner 2017-06-01 19:07:36 +02:00
parent 8a911cdb5d
commit 64bbad1bac
3 changed files with 9 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
data/theme/gnome-shell-high-contrast.css
View File

@ -1094,13 +1094,11 @@ StScrollBar {
padding-bottom: 32px; } padding-bottom: 32px; }
.window-picker { .window-picker {
-horizontal-spacing: 32px; -horizontal-spacing: 16px;
-vertical-spacing: 32px; -vertical-spacing: 16px;
padding-left: 32px; padding: 0 16px 16px; }
padding-right: 32px;
padding-bottom: 48px; }
.window-picker.external-monitor { .window-picker.external-monitor {
padding: 32px; } padding: 16px; }
.window-clone-border { .window-clone-border {
border: 4px solid #215d9c; border: 4px solid #215d9c;

2
data/theme/gnome-shell-sass

@ -1 +1 @@
Subproject commit d0f74b58c31ef48caa93ae8d378f88903ac0e854 Subproject commit b178ba1d9d090e269b898952fd5a79c54ddc6f75

10
data/theme/gnome-shell.css
View File

@ -1094,13 +1094,11 @@ StScrollBar {
padding-bottom: 32px; } padding-bottom: 32px; }
.window-picker { .window-picker {
-horizontal-spacing: 32px; -horizontal-spacing: 16px;
-vertical-spacing: 32px; -vertical-spacing: 16px;
padding-left: 32px; padding: 0 16px 16px; }
padding-right: 32px;
padding-bottom: 48px; }
.window-picker.external-monitor { .window-picker.external-monitor {
padding: 32px; } padding: 16px; }
.window-clone-border { .window-clone-border {
border: 4px solid #215d9c; border: 4px solid #215d9c;