"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.