user.js - some prefs are ignored Topic is solved

Users and developers helping users with technical Pale Moon issues (Windows and other non-Linux O.S.). Please direct questions about the Linux version to the appropriate Linux board.

Moderators: trava90, satrow

Forum rules
This board is for technical/usage questions and troubleshooting for the Pale Moon browser only. The main focus here is on Pale Moon on Windows. Please direct your questions for Linux, Android and Mac to the dedicated boards.
Technical issues and questions not related to the Pale Moon browser should be posted in "technical chat"
Please keep off-topic and general discussion out of this board, thank you!
gepus
Moon lover
Moon lover
Posts: 84
Joined: Thu, 14 Dec 2017, 12:59

user.js - some prefs are ignored

Unread postby gepus » Sat, 18 Aug 2018, 13:34

I thought this problem was solved but some prefs from user.js are still ignored.
This is weird because user.js should have priority over the prefs in "about:config".
If I change the respective prefs in "about:config" they get applied.

Some examples of prefs which I can't apply through user.js:

Code: Select all

user_pref("general.warnOnAboutConfig", false);
user_pref("security.OCSP.enabled", 0);
user_pref("plugin.default.state", 0);
user_pref("security.ssl.treat_unsafe_negotiation_as_broken", true);


Probably there are more, I will have to recheck them all and they are many because they are for different profiles and aimed for different use case.

Any idea, hint or advise or explanation regarding this issue?
Can at least anybody test and confirm or prove me wrong?

Thanks in advance for any help.

(I know what those prefs are for and that some of them are not recommended)

User avatar
therube
Astronaut
Astronaut
Posts: 500
Joined: Fri, 08 Jun 2018, 17:02

Re: user.js - some prefs are ignored

Unread postby therube » Sat, 18 Aug 2018, 13:46

Perhaps a syntax error elsewhere in user.js?
(Do I recall a bug where... what was it... xyz cause settings to be ignored, kind of thing... nope don't recall?)
(Also don't recall if Error Console, Browser Console would point out issues?)

Maybe it was something along this line, Bug 107264 bad syntax in prefs.js causes file to be ignored.?
Last edited by therube on Sat, 18 Aug 2018, 13:48, edited 2 times in total.

gepus
Moon lover
Moon lover
Posts: 84
Joined: Thu, 14 Dec 2017, 12:59

Re: user.js - some prefs are ignored  Topic is solved

Unread postby gepus » Sat, 18 Aug 2018, 15:16

therube wrote:Perhaps a syntax error elsewhere in user.js?

Yes. I did it again. :oops:

There were 4 slashes (//) which I have omitted before comments at the end of the pref.
Now all the prefs that didn't work are applied.

Thanks. :)


Return to “General support”

Who is online

Users browsing this forum: No registered users and 12 guests