Installing DEJAVU-FONTS233.WPI (without the documentation, uninstall
error) caused a change of the default SM 2.7.2 (menu) font and font
size. Uninstalling this package restored the expected, default font.
There's no userChrome.CSS file in use. I'm using INSTFONT10.ZIP, so I
didn't have to reboot to be able to use the font.
http://hobbes.nmsu.edu/download/pub/multimedia/fonts/truetype/DejaVu-fonts233.wpi
By default, DejaVu fonts occur in about:config's font.name-section.
The only changed (language pack?) setting in the font-section is the
font.language.group: x-western.
Can I install this DejaVu font package and restore the old font?
Is this a SM bug? Even when it's now capable of finding a DejaVu
font, the size of the font looks quite different: it's larger, for
one.
Or would it be a "RFC", default fonts used at least once shouldn't
be automatically replaced by a newer font which is just installed
but never selected? Now it works like:
SET FONT==9.Default
IF EXISTS DEJAVU.TTF SET FONT=18.DejaVu_Sans