Stephen Denne Tue, 13 Aug 2002 04:00:52 -0700
In preferences, when the font size is set to a size not in the list, it is not shown.
Stephen.