diff options
| author | Florian Müllner <fmuellner@gnome.org> | 2021-03-13 01:27:12 +0100 |
|---|---|---|
| committer | Florian Müllner <fmuellner@gnome.org> | 2021-03-13 01:27:51 +0100 |
| commit | 53adc7b733d7d01f85ac8a1986f8e09bf6b20ade (patch) | |
| tree | 0a40f97d959a96728184afe21e82aa55e6450cfc /data | |
| parent | b160e44dab1260136d244e29eeb76508fa20d2d3 (diff) | |
| download | gnome-shell-53adc7b733d7d01f85ac8a1986f8e09bf6b20ade.tar.gz | |
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.
Diffstat (limited to 'data')
| -rw-r--r-- | data/theme/gnome-shell-sass/widgets/_panel.scss | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/data/theme/gnome-shell-sass/widgets/_panel.scss b/data/theme/gnome-shell-sass/widgets/_panel.scss index 1f4650773..bf7e37db6 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; |