diff options
| author | Ricky Kresslein <rk@lakoliu.com> | 2022-04-06 17:37:46 +0200 |
|---|---|---|
| committer | Ricky Kresslein <rk@lakoliu.com> | 2022-04-06 17:37:46 +0200 |
| commit | 9f2b3ce8ecf2072245fe2dd5fde7284810822241 (patch) | |
| tree | 83fa4c4b90087846c1653b6f3706554dee8e2ba4 | |
| parent | 917686c3741812bbe445726eef08a70ba5aa4a87 (diff) | |
| download | Furtherance-9f2b3ce8ecf2072245fe2dd5fde7284810822241.tar.zst | |
Add padding to timer sides to improve scaling (Issue #11)
| -rwxr-xr-x | src/gtk/window.ui | 2 |
1 files changed, 2 insertions, 0 deletions
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"/> |