Re: Preferences in Yelp?!

[Mikael Hallendal <micke imendio com>]

Shaun McCance wrote:

Hi,

> 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/?

Yes, I totally agree, I've mentioned this before but never found the 
time/energy to try to push for it. I think that would make a lot of 
sense since the font size you have in menues might be very different 
from what you like to have when reading real text.

Best Regards,
  Mikael Hallendal

--
Imendio AB, http://www.imendio.com/