At 10:44 AM 7/6/99 +0200, Jan Vroonhof wrote:
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
This seems unlikely to me, unless I suppose motif stuff is getting mixed
in, where it wasn't before. But I don't see how this could happen with the
lucid menubar.
And anyway, unless this is from CVS he won't have any of the X related
changes....
andy
--------------------------------------------------------------
Dr Andy Piper
Senior Consultant Architect, BEA Systems Ltd