[gnome-todo] empty-list-widget: Add some margin

[Georges Basile Stavracas Neto <gbsneto src gnome org>]

commit df271f91b66c9226d4dd72be807f717cfc9d90bd
Author: Georges Basile Stavracas Neto <georges stavracas gmail com>
Date:   Fri Apr 9 15:14:25 2021 -0300

    empty-list-widget: Add some margin

 src/gui/gtd-empty-list-widget.ui | 4 ++++
 1 file changed, 4 insertions(+)
---
diff --git a/src/gui/gtd-empty-list-widget.ui b/src/gui/gtd-empty-list-widget.ui
index 0ec1c940..2dcf6bb0 100644
--- a/src/gui/gtd-empty-list-widget.ui
+++ b/src/gui/gtd-empty-list-widget.ui
@@ -1,6 +1,10 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <interface>
   <template class="GtdEmptyListWidget" parent="GtkBox">
+    <property name="margin-top">24</property>
+    <property name="margin-bottom">24</property>
+    <property name="margin-start">24</property>
+    <property name="margin-end">24</property>
     <property name="orientation">vertical</property>
     <property name="spacing">12</property>
     <child>