From 53adc7b733d7d01f85ac8a1986f8e09bf6b20ade Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Sat, 13 Mar 2021 01:27:12 +0100
Subject: [PATCH] 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 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;