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. -- Stan Goodman, Qiryat Tiv'on, Israel Please replace "SPAM-FOILER" with "sgoodman". 200 years of European fecklessness in the face of Arab terror: Tripoli Pirates (1814); OPEC Oil (1973); Saddam Hussein and Yasser Arafat (1990 et seq.) -- but actually financing it is a 21st-century European wrinkle.
