Duane Clark wrote:
> Arjan de Vet wrote:
>
>> I noticed today that I got the 'too small fonts' problem again with the
>> FreeBSD/2001120507 nightly build.
>>
>> Last time I solved it by adding this to prefs.js:
>>
>> user_pref("font.minimum-size.x-western", 11);
>>
>> After starting/stopping mozilla a few times I noticed the 'too small
>> fonts' problem and when I checked prefs.js I now saw:
>>
>> user_pref("font.minimum-size.x-western", "11");
>>
>> Removing the "" around 11 fixed the problem but after stopping mozilla
>> the quotes are back again of course :(.
>
>
> At least in Linux, create a file called user.js (in the same place as
> pref.js) and put your customizations there. Mozilla will still use them
> (it copies them to pref.js), but this will prevent Mozilla from undoing
> them. Just realize that deleting a pref from user.js will not delete it
> from pref.js.
>
user.js works in windows 98, also.
--
Charlie in San Francisco
