pref vs user_pref

Discussion of general topics about Mozilla Firefox
Posts: 6108
Joined: November 18th, 2002, 11:07 am

Post Posted May 13th, 2004, 9:39 am

In all.js, the format of all of the prefs is pref("prefname","prefvalue").
In user.js (and prefs.js), the format is user_pref("prefname","prefvalue").

I assume user_pref() should not be used in all.js because that applies to all users. So what happens if it is used there?
I also wonder what happens if a pref() entry is made in user.js or prefs.js. Any ideas?
Finally, are there some prefs that only work if defined as pref() and won't work if it is a user_pref()? I have heard people in the past say that pref x must be added to all.js (not user.js) and was wondering if this is the cause.

Posts: 1115
Joined: February 2nd, 2004, 7:51 pm

Post Posted May 13th, 2004, 3:41 pm

I'm not going to take the time to write a considered response because I know from experience that you don't read my posts, Racer. But I will say that nearly all your questions can be answered with a bit of harmless self-experimentation.


User avatar
Posts: 6743
Joined: November 17th, 2002, 12:33 pm
Location: Princeton, NJ, USA

Post Posted May 13th, 2004, 4:21 pm

Check out Firefox help on Texturizer. The answers are there.
Firefox: Sic transit gloria mundi.

Posts: 6108
Joined: November 18th, 2002, 11:07 am

Post Posted May 13th, 2004, 7:31 pm

danm: Correct...and by the same token, these forums are useless.


User avatar
Posts: 2359
Joined: January 5th, 2004, 5:40 am
Location: Pennsylvania, USA

Post Posted May 13th, 2004, 7:56 pm

Another satisfied customer.
"There is nothing more deceptive than an obvious fact". - Sherlock Holmes

Return to Firefox General

Who is online

Users browsing this forum: No registered users and 2 guests