From 252b5d41aa9346f26fbeffd2b3d2698166903f18 Mon Sep 17 00:00:00 2001
From: Bruce Cowan <bruce@bcowan.me.uk>
Date: Tue, 28 Jul 2020 14:16:45 +0100
Subject: [PATCH] Add padding to the primary menu
---
data/interface.ui | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/data/interface.ui b/data/interface.ui
index 2e473ed..4f2d437 100644
--- a/data/interface.ui
+++ b/data/interface.ui
@@ -17,6 +17,10 @@
<object class="GtkGrid">
<property name="visible">True</property>
<property name="can_focus">False</property>
+ <property name="margin_start">6</property>
+ <property name="margin_end">6</property>
+ <property name="margin_top">6</property>
+ <property name="margin_bottom">6</property>
<child>
<object class="GtkModelButton">
<property name="visible">True</property>
--
GitLab