[gnome-shell] workspace: Reduce spacing between window previews
- From: Florian Müllner <fmuellner src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell] workspace: Reduce spacing between window previews
- Date: Thu, 10 Aug 2017 18:25:08 +0000 (UTC)
commit 64bbad1bacef8255940bd08b22d3476b380cfad5
Author: Florian Müllner <fmuellner gnome org>
Date: Thu Jun 1 19:07:36 2017 +0200
workspace: Reduce spacing between window previews
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
data/theme/gnome-shell-high-contrast.css | 10 ++++------
data/theme/gnome-shell-sass | 2 +-
data/theme/gnome-shell.css | 10 ++++------
3 files changed, 9 insertions(+), 13 deletions(-)
---
diff --git a/data/theme/gnome-shell-high-contrast.css b/data/theme/gnome-shell-high-contrast.css
index fae6429..e43b9c0 100644
--- a/data/theme/gnome-shell-high-contrast.css
+++ b/data/theme/gnome-shell-high-contrast.css
@@ -1094,13 +1094,11 @@ StScrollBar {
padding-bottom: 32px; }
.window-picker {
- -horizontal-spacing: 32px;
- -vertical-spacing: 32px;
- padding-left: 32px;
- padding-right: 32px;
- padding-bottom: 48px; }
+ -horizontal-spacing: 16px;
+ -vertical-spacing: 16px;
+ padding: 0 16px 16px; }
.window-picker.external-monitor {
- padding: 32px; }
+ padding: 16px; }
.window-clone-border {
border: 4px solid #215d9c;
diff --git a/data/theme/gnome-shell-sass b/data/theme/gnome-shell-sass
index d0f74b5..b178ba1 160000
--- a/data/theme/gnome-shell-sass
+++ b/data/theme/gnome-shell-sass
@@ -1 +1 @@
-Subproject commit d0f74b58c31ef48caa93ae8d378f88903ac0e854
+Subproject commit b178ba1d9d090e269b898952fd5a79c54ddc6f75
diff --git a/data/theme/gnome-shell.css b/data/theme/gnome-shell.css
index c2e62b1..c57fae7 100644
--- a/data/theme/gnome-shell.css
+++ b/data/theme/gnome-shell.css
@@ -1094,13 +1094,11 @@ StScrollBar {
padding-bottom: 32px; }
.window-picker {
- -horizontal-spacing: 32px;
- -vertical-spacing: 32px;
- padding-left: 32px;
- padding-right: 32px;
- padding-bottom: 48px; }
+ -horizontal-spacing: 16px;
+ -vertical-spacing: 16px;
+ padding: 0 16px 16px; }
.window-picker.external-monitor {
- padding: 32px; }
+ padding: 16px; }
.window-clone-border {
border: 4px solid #215d9c;
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]