On 22-12-2001 14:15, Roland Felnhofer made an attempt to write...
> > > Thank you for that hint. What is user.js for? It can not be for user > specific preferences. For that purpose there is prefs.js. It also can > not be for global prefs therefor is mailnews.js. As far as Iknow, the user.js can be edited while Mozilla is running. It is loaded upon start (i think) but not re-written at exit of mozilla, so you can set prefs wich won't be rewritten. A sometimes saw that if I had the same prefs in user.js and prefs.js, after exit it was removed from the prefs.js and not from the user.js, but I don't know if this is the way it has to be. Hope te be of help -- Vriendelijke groet / Kind regards, Arthur Costerus Private E-mail: [EMAIL PROTECTED]
