GNOME Bugzilla – Bug 649721
add xsetting for the default monospace font name
Last modified: 2015-01-31 05:06:21 UTC
To be translated from the org.gnome.desktop.interface.monospace-font-name key by g-s-d.
Created attachment 187450 [details] [review] Add xsetting for the default monospace font name Bug #649721.
Created attachment 187452 [details] [review] Add xsetting for the default monospace font name Bug #649721.
I'll get the gnome-settings-daemon patch merged when this is merged.
Hmm, I'd still like to get some clarifications - How will widgets make use of this ? Is this purely opt-in ? - How do we expect this to interact with theme-specified fonts ?
This patch just adds the gtksetting. I'd like to use that so that widgets (e.g. vte) need not use gsettings and depend on gsettings-desktop-schemas just to get the system monospace font. Integrating this with the style system is independent of adding the gtksetting, and I filed bug 649616 for that.
We've given this over to theme control with the fix in bug 649616