tutorial: Drop excessive margin from headerbar

It is no longer necessary to add extra margins around the center child in a headerbar.
2016-02-27 23:28:17 -05:00
parent 87554eb57a
commit 213f74fe82
9 changed files with 0 additions and 9 deletions
--- a/examples/application5/window.ui
+++ b/examples/application5/window.ui
@ -15,7 +15,6 @@
            <child type="title">
              <object class="GtkStackSwitcher" id="tabs">
                <property name="visible">True</property>
-                <property name="margin">6</property>
                <property name="stack">stack</property>
              </object>
            </child>