After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 706515 - HeaderBars are sometimes too tall
HeaderBars are sometimes too tall
Status: RESOLVED FIXED
Product: gtk+
Classification: Platform
Component: .General
3.9.x
Other Linux
: Normal normal
: ---
Assigned To: gtk-bugs
gtk-bugs
Depends on:
Blocks:
 
 
Reported: 2013-08-21 16:30 UTC by Allan Day
Modified: 2014-02-14 20:40 UTC
See Also:
GNOME target: ---
GNOME version: 3.9/3.10


Attachments
Different headerbar heights (891.12 KB, image/png)
2014-02-02 21:59 UTC, Alex
Details

Description Allan Day 2013-08-21 16:30:58 UTC
In some applications, the HeaderBar is about  too tall. I currently observe this in Contacts and Settings. They both have an extra 2px padding above their HeaderBar buttons and 3px below them.

I think the issue is to do with the headings, since we don't see this issue in Clocks, which uses a stack switcher widget instead.

This might be a dupe of bug 706431.
Comment 1 Alex 2014-02-02 21:59:56 UTC
Created attachment 267871 [details]
Different headerbar heights

I am experiencing different gtkheaderbar heights for almost every app that uses the headerbar