barney wrote:

> Ben Bucksch wrote:
> 
>> No problem. Next time, you could look through the default prefs, too.
>> They are in <installation dir>/defaults/pref/*.js
> 
> All is revealed here! Cool!
> Question, though... If I want to change a localDefPref, would it go in
> prefs.js as user_localDefPref(...), do these go somewhere else, or
> should I not mess with them at all?

Uh. I don't know. ccing .prefs.

Reply via email to