From b4cf07d05f3099f9761c5c786d9f3287e7c39a79 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Fri, 17 Jan 2020 17:41:49 +0100
Subject: [PATCH] dateMenu: Add some spacing between date and indicator

While the existing dot doesn't necessarily need padding, we are about
to (sometimes) showing a "proper" icon there.

https://gitlab.gnome.org/GNOME/gnome-shell/issues/239
---
 data/theme/gnome-shell-sass/widgets/_calendar.scss | 4 +++-
 js/ui/dateMenu.js                                  | 2 +-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/data/theme/gnome-shell-sass/widgets/_calendar.scss b/data/theme/gnome-shell-sass/widgets/_calendar.scss
index 2e2495c5f..e1bb0e569 100644
--- a/data/theme/gnome-shell-sass/widgets/_calendar.scss
+++ b/data/theme/gnome-shell-sass/widgets/_calendar.scss
@@ -1,5 +1,7 @@
 /* Date/Time Menu */
 
+.clock-display-box { spacing: $base_spacing; }
+
 // overall menu
 #calendarArea {
   padding:0;
@@ -263,4 +265,4 @@
     font-feature-settings: "tnum";
     @include fontsize($base_font_size - 1);
   }
-}
\ No newline at end of file
+}
diff --git a/js/ui/dateMenu.js b/js/ui/dateMenu.js
index 690d30f4b..9bdd2c4d1 100644
--- a/js/ui/dateMenu.js
+++ b/js/ui/dateMenu.js
@@ -557,7 +557,7 @@ class DateMenuButton extends PanelMenu.Button {
         this._clockDisplay = new St.Label({ y_align: Clutter.ActorAlign.CENTER });
         this._indicator = new MessagesIndicator();
 
-        let box = new St.BoxLayout();
+        let box = new St.BoxLayout({ style_class: 'clock-display-box' });
         box.add_actor(new IndicatorPad(this._indicator));
         box.add_actor(this._clockDisplay);
         box.add_actor(this._indicator);