Submit Hint Search The Forums LinksStatsPollsHeadlinesRSS
14,000 hints and counting!


Click here to return to the 'worked for me in 'prefs.js' file...' hint
The following comments are owned by whoever posted them. This site is not responsible for what they say.
worked for me in 'prefs.js' file...
Authored by: josephaw on May 02, '02 02:34:17PM

I wasn't sure if I was supposed to put this in the 'prefs.js' or a new user.js file. Anyway the user.js didn't work.
So I put it in the 'prefs.js' file right below the last 'user_pref("network.' line.
I think they are grouped together so make sure it goes in the right place.
'Mozilla 2002041712'
Thank you OSX Hints.
JosephAW



[ Reply to This | # ]
prefs.js vs user.js
Authored by: a1291762 on May 02, '02 07:22:08PM

> I wasn't sure if I was supposed to put this in the 'prefs.js' or a new user.js
> file. Anyway the user.js didn't work.

Hmm...

I think that "officially", you are supposed to change user.js, not prefs.js. This is because prefs.js is changed by Mozilla but user.js isn't.
(eg. if you disable popups in user.js, you can't enable them from the GUI)

I don't know why it didn't work in user.js... did you restart Mozilla? Are your line endings correct? (Should be unix I think).



[ Reply to This | # ]
prefs.js vs user.js
Authored by: Anonymous on May 02, '02 11:14:36PM

it just needs to be plain text. You can use Text Edit, but you must be in Plain Text mode (in the Format menu), not the default rtf mode.



[ Reply to This | # ]