From 0ac29b2ecacf45c6b9d6b552301acce54fe24fce Mon Sep 17 00:00:00 2001
From: Scott Worley <scottworley@scottworley.com>
Date: Sat, 13 Sep 2025 10:49:25 -0700
Subject: [PATCH] Add margin around buttons

---
 apps.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/apps.py b/apps.py
index 59aa4a9..77fb563 100644
--- 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
 
 
-- 
2.50.1