[gnome-shell/wip/fmuellner/overview-tweaks: 10/16] workspace: Reduce spacing between window previews
- From: Florian Müllner <fmuellner src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell/wip/fmuellner/overview-tweaks: 10/16] workspace: Reduce spacing between window previews
- Date: Thu, 20 Jul 2017 11:26:36 +0000 (UTC)
commit d6d0f09f5844f3bd0ce45f3f813454b624a51d42
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.css | 10 +++++-----
2 files changed, 10 insertions(+), 10 deletions(-)
---
diff --git a/data/theme/gnome-shell-high-contrast.css b/data/theme/gnome-shell-high-contrast.css
index e9855df..eb10af6 100644
--- a/data/theme/gnome-shell-high-contrast.css
+++ b/data/theme/gnome-shell-high-contrast.css
@@ -1090,13 +1090,13 @@ StScrollBar {
padding-bottom: 32px; }
.window-picker {
- -horizontal-spacing: 32px;
- -vertical-spacing: 32px;
- padding-left: 32px;
- padding-right: 32px;
+ -horizontal-spacing: 16px;
+ -vertical-spacing: 16px;
+ padding-left: 16px;
+ padding-right: 16px;
padding-bottom: 48px; }
.window-picker.external-monitor {
- padding: 32px; }
+ padding: 16px; }
.window-clone-border {
border: 4px solid #215d9c;
diff --git a/data/theme/gnome-shell.css b/data/theme/gnome-shell.css
index b9a56c6..56c8d04 100644
--- a/data/theme/gnome-shell.css
+++ b/data/theme/gnome-shell.css
@@ -1090,13 +1090,13 @@ StScrollBar {
padding-bottom: 32px; }
.window-picker {
- -horizontal-spacing: 32px;
- -vertical-spacing: 32px;
- padding-left: 32px;
- padding-right: 32px;
+ -horizontal-spacing: 16px;
+ -vertical-spacing: 16px;
+ padding-left: 16px;
+ padding-right: 16px;
padding-bottom: 48px; }
.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]