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

[MudGuard]

Hi,

Ist es möglich, about:config-Einträge per JavaScript zu ändern?

Normalen Scripten hoffentlich nicht.

Das Ziel wäre ein Bookmarklet, mit dem ich den Proxy ein- und ausschalten kann.

Wenn es nicht möglich ist: Gibt es eine andere Variante, den Proxy per Knopfdruck zu gebrauchen?

In der Webdeveloper-Toolbar (http://chrispederick.com/work/web-developer/) gibt es einen Eintrag "Disable Proxy" (der bei mir allerdings disabled ist - könnte damit zusammenhängen, daß ich keinen Proxy definiert habe).

In der PrefBar (http://prefbar.mozdev.org/) finden sich im Customize-Dialog auch ne Proxy-Checkbox und ne Proxy-Menüliste.

cu,
Andreas