Matthias Clasen 213f74fe82 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

1.1 KiB

Raw Blame History

View Raw