Add margin around buttons

diff --git a/apps.py b/apps.py
index 59aa4a95bc55a3ec969a218757483371d43b8f27..77fb563053843e3899d085514977ad643f50795e 100644 (file)
--- a/apps.py
+++ b/apps.py
@@ -83,6 +83,10 @@ def on_apply(_: Any) -> None:
 def make_button(label: str, action: Callable[[Any], None]) -> Gtk.Button:
     button = Gtk.Button(label=label)
     button.connect('clicked', action)
+    button.set_margin_top(10)
+    button.set_margin_start(10)
+    button.set_margin_end(10)
+    button.set_margin_bottom(10)
     return button