From: Scott Worley <scottworley@scottworley.com>
Date: Sat, 13 Sep 2025 17:49:25 +0000 (-0700)
Subject: Add margin around buttons
X-Git-Tag: v1.0.0~4
X-Git-Url: http://git.scottworley.com/nix-env-apps/commitdiff_plain/0ac29b2ecacf45c6b9d6b552301acce54fe24fce?ds=sidebyside

Add margin around buttons
---

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