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 791147 - Builder ignores system fixed width font
Builder ignores system fixed width font
Status: RESOLVED OBSOLETE
Product: gnome-builder
Classification: Other
Component: preferences
3.26.x
Other Linux
: Normal normal
: ---
Assigned To: GNOME Builder Maintainers
GNOME Builder Maintainers
Depends on:
Blocks:
 
 
Reported: 2017-12-02 22:55 UTC by Dag Odenhall
Modified: 2018-01-11 10:48 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Dag Odenhall 2017-12-02 22:55:40 UTC 
Builder defaults to the Monospace font, which is an actual font (a renamed Dejavu Sans Mono, if I'm not mistaken) and not a generic family like it is in CSS. It is the default fixed width font in GNOME but this can be changed in Tweaks. That works for gedit and gnome-terminal which has a checkbox for deciding if they should use the system fixed width font or your override, but this checkbox is absent in Builder and if you have changed the system fixed width font in Tweaks, Builder continues to use the font named "Monospace". Not a big deal because you can configure this font in Builder, but you do have to configure it twice, or thrice really for the Builder terminal as well. It would be better if Builder used the pattern from gedit and gnome-terminal with a checkbox to say if you want to override the fonts, or default to the system fixed width.
Comment 1 GNOME Infrastructure Team 2018-01-11 10:48:05 UTC 
-- GitLab Migration Automatic Message --

This bug has been migrated to GNOME's GitLab instance and has been closed from further activity.

You can subscribe and participate further through the new bug through this link to our GitLab instance: https://gitlab.gnome.org/GNOME/gnome-builder/issues/318.