Re: Preferences in Yelp?!

Il giorno sab, 04-12-2004 alle 01:17 +0100, Marco Pesenti Gritti ha
> > 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

Luca Ferretti <elle uca libero it>

[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]