Builder ignores system fixed width font
Submitted by Dag Odenhall
Link to original bug (#791147)
Description
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.