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 <[EMAIL PROTECTED]>
IRC: smitten
_______________________________________________
desktop-devel-list mailing list
[email protected]
http://mail.gnome.org/mailman/listinfo/desktop-devel-list
