diff options
author | Matthias Clasen <mclasen@redhat.com> | 2014-02-14 15:37:11 -0500 |
---|---|---|
committer | Matthias Clasen <mclasen@redhat.com> | 2014-02-14 15:39:08 -0500 |
commit | e179c65da037a2354cc8db4f824590014ef8bc87 (patch) | |
tree | 4ba65ed639a8fe8ca69e8a925b757d7e1e1b0a35 /gdk/x11/gdkmain-x11.c | |
parent | 4a208439e65e34704f7e266cbae2e199ecf024e2 (diff) | |
download | gtk+-e179c65da037a2354cc8db4f824590014ef8bc87.tar.gz |
header bar: squeeze the title in
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
Diffstat (limited to 'gdk/x11/gdkmain-x11.c')
0 files changed, 0 insertions, 0 deletions