Firefox: about:config-Einträge per JavaScript ändern

[Adi K.]

Vielleicht das: http://www.erweiterungen.de/detail/SwitchProxy_Tool/?

Nöö, leider auch nicht, denn das kann die o.g. Einstellungen ebenfalls nicht ändern...