From: Marc Maurer (j.m.maurer@student.utwente.nl)
Date: Wed Mar 19 2003 - 15:34:58 EST
> The text is indeed "10-pt Times Roman". I've noticed
> some other brokenness here on Unix (the text doesn't
> always change sizes). I'll look into this now.
more strange things happening here, like 2 fonts are allocated when you
change the zoom setting, instead of one
Marc
This archive was generated by hypermail 2.1.4 : Wed Mar 19 2003 - 15:34:28 EST