-
Matthias Clasen authored
Let the center widget extend into the border area, to avoid resizing header bars needlessly. This improves the uniformity of header bars across applications, some of which don't use subtitles, or use custom title widgets. https://bugzilla.gnome.org/show_bug.cgi?id=706515 https://bugzilla.gnome.org/show_bug.cgi?id=707999
e179c65d