From f755905c75b5336aa126848696eed5bfa7284442 Mon Sep 17 00:00:00 2001 From: Jakub Steiner Date: Mon, 10 Feb 2020 20:19:22 +0100 Subject: [PATCH] theme: revert window picker whitespace - revert to the more compact overview, providing more space for the window thumbnails. Fixes https://gitlab.gnome.org/GNOME/gnome-shell/issues/2187 --- data/theme/gnome-shell-sass/widgets/_window-picker.scss | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/data/theme/gnome-shell-sass/widgets/_window-picker.scss b/data/theme/gnome-shell-sass/widgets/_window-picker.scss index 7af3aff70..466b50086 100644 --- a/data/theme/gnome-shell-sass/widgets/_window-picker.scss +++ b/data/theme/gnome-shell-sass/widgets/_window-picker.scss @@ -1,7 +1,7 @@ /* Window Picker */ -$window_picker_spacing: $base_spacing * 8; // 48px -$window_picker_padding: $base_padding * 10; // 60px +$window_picker_spacing: $base_spacing * 2; // 16px +$window_picker_padding: $base_padding * 2; // 16px $window_thumbnail_border_color:transparentize($selected_fg_color, 0.65); @@ -63,4 +63,4 @@ $window_close_button_padding: 3px; &:active { background-color: darken($selected_bg_color, 5%); } -} \ No newline at end of file +}