Re: [Fwd: "Document font" pref [was: Re: asking for approval for bug 160454]]

[Brent Smith <gnome nextreality net>]

Federico Mena Quintero wrote:

> Can we assume that Yelp will be done really soon?  We are already
> half-frozen for this release cycle.
>
>   Federico

I'll commit the change to Yelp ASAP, but...

How is this different from the font_name key?   Is font_name intended
for the GUI/GTK+ font, while document_font_name is for any other
application in which you view a document?  If gedit views documents,
then why does it use the fixed width font instead of the document font?

What about the dictionary applet, and other applications where the 
interface is similar to a document, should they use this key?

I'm just worried about consistency.


--
Brent Smith <gnome nextreality net>
IRC: smitten