"Stefano Ceccherini" <stefano.ceccherini@xxxxxxxxx> wrote:
> 2007/6/8, Fredrik Ekdahl <fekdahl@xxxxxxxxx>:
>
> > Should menus be using the plain font instead of the
> > fixed size that seems to be used now?
>
> There's a specific font settings for menus, settable in
> the Menu preflet.
Would it be a bad idea to deprecate/ignore the separate color and font
size settings for menus, and let Fonts and Appearances have the final
word on these things?
If the menu font is to be kept separate, it may be good to also include
it in the Fonts preflet, even though it's not entirely logical to group
it with the system fonts. But it's also not logical, from a user point
of view, to change the system font size and not have the menus scale.
/Jonas.
