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 708802 - HeaderBars: icon buttons don't have the right width
HeaderBars: icon buttons don't have the right width
Status: RESOLVED FIXED
Product: gnome-themes-standard
Classification: Core
Component: Adwaita GTK3 theme
3.10.x
Other Linux
: Normal normal
: ---
Assigned To: gnome-themes-standard-maint
gnome-themes-standard-maint
Depends on:
Blocks:
 
 
Reported: 2013-09-26 07:57 UTC by Allan Day
Modified: 2014-01-06 16:56 UTC
See Also:
GNOME target: ---
GNOME version: ---


Attachments
screenshot with modifications (143.95 KB, image/png)
2013-11-18 11:04 UTC, Allan Day
  Details
patch (1.34 KB, patch)
2014-01-06 15:51 UTC, Allan Day
none Details | Review
alternative patch (1.57 KB, patch)
2014-01-06 16:27 UTC, Allan Day
committed Details | Review

Description Allan Day 2013-09-26 07:57:55 UTC
The width of icon buttons is slightly off - they should be 34px wide, but are in fact 33px. It doesn't seem like much, but this missing pixel throws off the visual appearance of the buttons. They don't appear quite square, and the icons inside the buttons are not horizontally centered.

I'd ideally like to fix this in Adwaita, but we don't have support for min-width there (bug 708394). In the meantime, is this something that can be resolved on the GTK+ side?
Comment 1 Allan Day 2013-11-18 11:04:32 UTC
Created attachment 260098 [details]
screenshot with modifications

The attachment shows some of the changes that I think we need to make to header bars. The image on the far left is the current state (the screenshot is of Documents). Each of the subsequent images makes a modification:

 * Make the buttons square
 * Ensure the correct header bar height
 * Improve the position of the close button and the appearance of the separator

Yes, this bug is about a single pixel. It might not seem like much, but it is the difference between buttons being square or not. The eye is sensitive to these things, and while it might not be obvious that something is wrong with the current state, you can tell when something is *right*.

When visual elements are evenly spaced and balanced, they feel good and look polished. This stuff does matter.
Comment 2 Matthias Clasen 2013-11-18 17:49:34 UTC
You cleverly clipped away the title/subtitle combination that requires the header bar to become 'too high'. There is no way around it - if header bars can't be allowed to be that high, then either we need to give up on subtitles, or make them even smaller.
Comment 3 Allan Day 2013-11-18 18:08:24 UTC
(In reply to comment #2)
> You cleverly clipped away the title/subtitle combination that requires the
> header bar to become 'too high'.

My intention was to demonstrate the effect that small layout issues are having on header bars.

> There is no way around it - if header bars
> can't be allowed to be that high, then either we need to give up on subtitles,
> or make them even smaller.

Yes, and I've reported a number of bugs on the subject. See:

https://bugzilla.gnome.org/show_bug.cgi?id=707999#c14
Comment 4 Allan Day 2013-11-18 18:08:24 UTC
(In reply to comment #2)
> You cleverly clipped away the title/subtitle combination that requires the
> header bar to become 'too high'.

My intention was to demonstrate the effect that small layout issues are having on header bars.

> There is no way around it - if header bars
> can't be allowed to be that high, then either we need to give up on subtitles,
> or make them even smaller.

Yes, and I've reported a number of bugs on the subject. See:

https://bugzilla.gnome.org/show_bug.cgi?id=707999#c14
Comment 5 Allan Day 2014-01-06 15:51:50 UTC
Created attachment 265448 [details] [review]
patch

I'm not sure why the uneven padding was in there, but it doesn't seem necessary and is clearly the source of the bug.
Comment 6 Allan Day 2014-01-06 16:27:33 UTC
Created attachment 265452 [details] [review]
alternative patch

This is a small variant on the previous patch.

There's an extra darker line on the bottom of the header bars, which looks like it is part of the padding. The patch removes the 1px from the padding to make things look even. I have to confess that I'm not entirely sure about the mechanics here, but it looks right.