[gnome-shell/wip/fmuellner/dont-disturb: 10/11] dateMenu: Add some spacing between date and indicator

[Florian Müllner <fmuellner src gnome org>]

commit 8297f84fef2eaa150cf61445daef25203e9bd5d4
Author: Florian Müllner <fmuellner gnome org>
Date:   Fri Jan 17 17:41:49 2020 +0100

    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 2e2495c5fb..e1bb0e5697 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 690d30f4bc..9bdd2c4d10 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);