From e99ab58b830f9015236b44ef04ff280397ffad41 Mon Sep 17 00:00:00 2001 From: Jordan Petridis Date: Tue, 26 Dec 2017 15:46:25 +0200 Subject: [PATCH] Headerbar: Add margins to the hamburger menu. --- hammond-gtk/resources/gtk/headerbar.ui | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/hammond-gtk/resources/gtk/headerbar.ui b/hammond-gtk/resources/gtk/headerbar.ui index 4e6ac08..0801116 100644 --- a/hammond-gtk/resources/gtk/headerbar.ui +++ b/hammond-gtk/resources/gtk/headerbar.ui @@ -215,6 +215,7 @@ end + 2 @@ -224,6 +225,10 @@ True False + 10 + 10 + 10 + 10 vertical @@ -244,7 +249,7 @@ True True True - Update Podcasts + Check for new episodes False