Re: Preferences in Yelp?!

[Luca Ferretti <elle uca libero it>]

Il giorno sab, 04-12-2004 alle 01:17 +0100, Marco Pesenti Gritti ha
scritto:
> > The dialog has two preferences for font settings, one for variable width
> > and one for fixed width.  People really do want to use a different font
> > for viewing long documents than for menu items and buttons.  But there's
> > no reason it has to be Yelp/DevHelp/Evolution/Epiphany-specific.  Could
> > we add a 'Document font' option to gnome-font-properties?  And while
> > we're in there, could we s/Terminal/Monospace/?
> 
> I like the idea in general, though note that epiphany currently allow to
> set Variable/Fixed width font _per language_. Christian or i18n guys can
> probably comment better than me on the usefulness of such feature.

Something like

        if (page_lang == GNOME_lang) then
        	use_common_app_fonts();
        else
        	use_custom_ephy_fonts();

?
-- 
Luca Ferretti <elle uca libero it>