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 723240 - GtkHeaderBar doesn't honour neither Window border nor Interface font setting
GtkHeaderBar doesn't honour neither Window border nor Interface font setting
Status: RESOLVED FIXED
Product: gnome-themes-standard
Classification: Core
Component: Adwaita GTK3 theme
3.11.x
Other Linux
: Normal normal
: ---
Assigned To: gnome-themes-standard-maint
gnome-themes-standard-maint
Depends on:
Blocks:
 
 
Reported: 2014-01-29 15:10 UTC by Baptiste Mille-Mathias
Modified: 2014-03-03 19:58 UTC
See Also:
GNOME target: 3.12
GNOME version: ---

Attachments
Make font changes apply to header bar titles (909 bytes, patch)
2014-02-22 03:49 UTC, Matthias Clasen 		committed Details | Review
with interface font cantarell 11 (37.19 KB, image/png)
2014-02-22 03:51 UTC, Matthias Clasen 		  Details
with another interface font (42.83 KB, image/png)
2014-02-22 03:51 UTC, Matthias Clasen 		  Details

Description Baptiste Mille-Mathias 2014-01-29 15:10:31 UTC 
I changed my fonts to be smaller on my laptop (all fonts type, application, windows border, ...) but GtkHeaderBar font size never changed, it seems it  doesn't honour such settings.

Dave King told me that it seems to be "normal" as GtkHeaderBar relies on a mutter but it seems to be important the GtkHeaderBar honor one of this setting IMHO.
Comment 1 Matthias Clasen 2014-01-29 15:34:05 UTC 
The fonts used by the headerbar labels are determined by what the theme does for the title and subtitle style classes.
Comment 2 Matthias Clasen 2014-02-06 22:07:07 UTC 
It might be enough to make the font size change relative instead of setting an absolute font size
Comment 3 Matthias Clasen 2014-02-22 03:49:51 UTC 
Created attachment 269972 [details] [review]
Make font changes apply to header bar titles

It is enough to set weight and size for the title / subtitle.
Comment 4 Matthias Clasen 2014-02-22 03:50:49 UTC 
9/11 is 0.81, so 80% is a pretty good match
Comment 5 Matthias Clasen 2014-02-22 03:51:21 UTC 
Created attachment 269973 [details]
with interface font cantarell 11
Comment 6 Matthias Clasen 2014-02-22 03:51:50 UTC 
Created attachment 269974 [details]
with another interface font
Comment 7 Jakub Steiner 2014-02-24 13:48:06 UTC 
We should also make sure the buttons aren't size with padding, as different title font size will break buttons :( 

See Bug #721622
Comment 8 Cosimo Cecchi 2014-03-03 19:27:41 UTC 
Review of attachment 269972 [details] [review]:

Looks good to me thanks.
Comment 9 Matthias Clasen 2014-03-03 19:58:02 UTC 
Attachment 269972 [details] pushed as 69deb22 - Make font changes apply to header bar titles