Open mrkara opened 7 years ago
Created attachment 119624 Proposed patch
It uses "Document Font" if use custom font is not set. Or should it use Application Font? if so it's a minor change for the patch.
Originally posted by Baris Cicek
Attachment: https://bugzilla.gnome.org/attachment.cgi?id=119624
IMHO is better use /desktop/gnome/interface/monospace_font_name
Originally posted by Luca Ferretti
I agreed that we should make this.
Originally posted by Ignacio Casal Quinteiro (nacho)
Currently, the msgid and msgstr fields use a hardcoded default value unless a custom font is set. They should instead use the specified system font if available. gedit does this and its code could be used as an example.
Originally reported by Seán de Búrca at https://bugzilla.gnome.org/show_bug.cgi?id=550770