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