diff options
| author | Matthias Clasen <mclasen@redhat.com> | 2016-02-27 23:28:17 -0500 |
|---|---|---|
| committer | Matthias Clasen <mclasen@redhat.com> | 2016-02-27 23:28:17 -0500 |
| commit | 213f74fe823f1d835c2d4fba04877a9a39d6d2f4 (patch) | |
| tree | dc8144ccd54ced777d3e1d87383b18d172a8d4df /examples/application3 | |
| parent | 87554eb57a101aa6a2e2f3a7a6ff5eaa09a5ede8 (diff) | |
| download | gtk+-213f74fe823f1d835c2d4fba04877a9a39d6d2f4.tar.gz | |
tutorial: Drop excessive margin from headerbar
It is no longer necessary to add extra margins around the
center child in a headerbar.
Diffstat (limited to 'examples/application3')
| -rw-r--r-- | examples/application3/window.ui | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/examples/application3/window.ui b/examples/application3/window.ui index 6b37e86e4d..d90c3f618c 100644 --- a/examples/application3/window.ui +++ b/examples/application3/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> |