Stan Goodman wrote: > On Thu, 5 Sep 2002 18:53:25 UTC, [EMAIL PROTECTED] opined: > > >>>If it comes back, check you don't have the >>>useragent setting in the user.js file in your profile. >> >>There it is again. User.js. I've searched my HD and there is no such >>file. If this is an essential file, why isn't it in the archive? >>Should it be renamed to programmer.js? > > > I don't have it either. My working hypothesis is that you are supposed > to create it if you need it. Before I realized that, I committed the > unforgivable no-no of modifying prefs.js (which is in Mozilla_Home, so > it survives new releases). > > I suspect that user.js should NOT be in Mozilla_Home, so that its user > settings would have to be renewed with each release, but I don't know > that either. >
The last time I looked, whatever I placed into user.js was copied on the next load of Mozilla into pref.js. User.js *must* be placed into the same folder as pref.js or it won't be found. -- Bill <UN Day is September 18>
