On Wed, Jan 09, 2002 at 09:22:33PM +0000, John Levon wrote: > On Wed, Jan 09, 2002 at 11:08:32PM +0200, Dekel Tsur wrote: > > > Recently, the font in the menus became bold. > > Is it intentional ? > > actually a bug got fixed (by Angus) > > check your preferences and change the menu settings to medium instead of bold.
I've done that and now the menus are OK. But now the font of the upper tab row in preferences is not bold.
