From 94ebe2106817f6bc7aaf868bd00d0fc381d33e7e Mon Sep 17 00:00:00 2001
From: William Jon McCann <william.jon.mccann@gmail.com>
Date: Wed, 17 Jul 2013 16:52:23 -0400
Subject: [PATCH] Add a bit of margin on the statusbar

So that the text doesn't touch the side of the window. And it
looks much cleaner.
---
 gtk/gtkstatusbar.ui | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/gtk/gtkstatusbar.ui b/gtk/gtkstatusbar.ui
index 39bacbca5b..94c7f67fd9 100644
--- a/gtk/gtkstatusbar.ui
+++ b/gtk/gtkstatusbar.ui
@@ -5,6 +5,10 @@
     <property name="can_focus">False</property>
     <property name="vexpand">False</property>
     <property name="spacing">2</property>
+    <property name="margin_left">10</property>
+    <property name="margin_right">10</property>
+    <property name="margin_top">6</property>
+    <property name="margin_bottom">6</property>
     <child>
       <object class="GtkFrame" id="frame">
         <property name="visible">True</property>