Re: 21.2.17 changed menubar font from 21.2.15
Matt Simmons <simmonmt(a)acm.org> writes:
What happened? What can I do to return it to the earlier font?
Probably something got mixed up in Andy's Widget work. First thing to
do would be to check config.h (maybe compare with the result from b15)
to see whether you are indeed still using Lucid menus.
Jan