From 9f2b3ce8ecf2072245fe2dd5fde7284810822241 Mon Sep 17 00:00:00 2001
From: Ricky Kresslein <rk@lakoliu.com>
Date: Wed, 6 Apr 2022 17:37:46 +0200
Subject: Add padding to timer sides to improve scaling (Issue #11)

---
 src/gtk/window.ui | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src')

diff --git a/src/gtk/window.ui b/src/gtk/window.ui
index 186a57a..073dab9 100755
--- a/src/gtk/window.ui
+++ b/src/gtk/window.ui
@@ -37,6 +37,8 @@
               <child>
                 <object class="GtkLabel" id="watch">
                   <property name="label">00:00:00</property>
+                  <property name="margin_start">12</property>
+                  <property name="margin_end">12</property>
                   <attributes>
                     <attribute name="weight" value="bold"/>
                     <attribute name="scale" value="5"/>
-- 
cgit 1.4.1