On Sat, 04 Aug 2001 20:16:57 -0500 Michael Kaply <[EMAIL PROTECTED]>
wrote:
> The DPI setting is only used right now on bitmap fonts.
>
> Try switching between 96 and 120 in the preferences and then closing and
> reopening the pref window in Classic theme. It should show the WarpSans
> difference immediately. Then if you close and reopen the browser, the font
> on the menu should be the same as the one that looked OK in preferences.
Did what you said -- but doing it did not affect the menu bar.
Switching DPI *did* make a difference to the text in the pref window
[and to the text in the navigation bar and (in Classic) the status bar].
But the menu bar (it starts with the word 'File' and ends with 'QA') on
my 0.9.3 continues to use TOO SMALL a font (I think it's non-bitmap).
mikus
