From b2a5417c3e68b9b7ed4c99220dedcf2483e5ebb0 Mon Sep 17 00:00:00 2001 From: arushsharma24 Date: Thu, 11 Mar 2021 18:06:10 +0530 Subject: [PATCH] theme/panel: Remove spacing between Activities and appmenu Top bar elements now have more padding, which makes the spacing between those elements excessive, so remove it. https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/3769 Part-of: --- data/theme/gnome-shell-sass/widgets/_panel.scss | 5 ----- 1 file changed, 5 deletions(-) diff --git a/data/theme/gnome-shell-sass/widgets/_panel.scss b/data/theme/gnome-shell-sass/widgets/_panel.scss index bf7e37db6..1f4650773 100644 --- a/data/theme/gnome-shell-sass/widgets/_panel.scss +++ b/data/theme/gnome-shell-sass/widgets/_panel.scss @@ -25,11 +25,6 @@ $panel_transition_duration: 250ms; // same as the overview transition duration } } - // spacing between activities, app menu and such - #panelLeft, #panelCenter { - spacing: $base_spacing; - } - // the rounded outset corners .panel-corner { -panel-corner-radius: $panel_corner_radius;