[gnome-shell] Revert "theme/panel: Remove spacing between Activities and appmenu"
- From: Florian Müllner <fmuellner src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell] Revert "theme/panel: Remove spacing between Activities and appmenu"
- Date: Sat, 13 Mar 2021 00:31:54 +0000 (UTC)
commit 53adc7b733d7d01f85ac8a1986f8e09bf6b20ade
Author: Florian Müllner <fmuellner gnome org>
Date: Sat Mar 13 01:27:12 2021 +0100
Revert "theme/panel: Remove spacing between Activities and appmenu"
As minor as the visual change is, it's still a UI change.
This reverts commit 91c4c43a7d13bc4baf16cb7e487b83d0336c2fce.
data/theme/gnome-shell-sass/widgets/_panel.scss | 5 +++++
1 file changed, 5 insertions(+)
---
diff --git a/data/theme/gnome-shell-sass/widgets/_panel.scss b/data/theme/gnome-shell-sass/widgets/_panel.scss
index 1f46507732..bf7e37db6a 100644
--- a/data/theme/gnome-shell-sass/widgets/_panel.scss
+++ b/data/theme/gnome-shell-sass/widgets/_panel.scss
@@ -25,6 +25,11 @@ $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;
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]