From b6fca8e138e9214edc5eb634d10c6899e84a5fa4 Mon Sep 17 00:00:00 2001
From: Olaf Leidinger <oleid@mescharet.de>
Date: Sun, 22 Feb 2015 13:02:38 +0100
Subject: [PATCH] add padding for textual countdown

---
 src/extension.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/extension.js b/src/extension.js
index 8246998..b7bf717 100644
--- a/src/extension.js
+++ b/src/extension.js
@@ -359,6 +359,9 @@ const TeaTime = new Lang.Class({
         });
         this._logo.setPadding(bHasPadding*padding);
         this._graphicalTimer.setPadding(bHasPadding*padding);
+        this._textualTimer.margin_right = bHasPadding*padding;
+        this._textualTimer.margin_left  = bHasPadding*padding;
+
         this._logo.setColor(this._primaryColor, this._secondaryColor);
         this._graphicalTimer.setColor(this._primaryColor, this._secondaryColor);
     }