this post was submitted on 28 Oct 2023
-1 points (0.0% liked)

Firefox

19418 readers
31 users here now

A place to discuss the news and latest developments on the open-source browser Firefox

founded 5 years ago
MODERATORS
 

Why use .js extension if it does not even support what Javascript is supposed to support. Here is my user.js file that does not work in Firefox: https://pastebin.com/QZXL0YJp

However the following works: https://pastebin.com/xEjh7g9U

I wonder why not implement a full Javascript engine to read in those configuration files, it kind of sucks to keep on typing user_pref( in every line when one could put all the configs in a list and loop over it and use user_pref() to apply them.

no comments (yet)
sorted by: hot top controversial new old
there doesn't seem to be anything here