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.
2013-07-17 16:52:23 -04:00
parent f5ea5996b4
commit 94ebe21068
1 changed files with 4 additions and 0 deletions
--- 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>