Vielen Dank für deine Antwort.
Die Webdeveloper Toolbar brauche ich nicht mehr seit ich Firebug habe. Sie extra wegen dieser Funktion herunterzuladen erscheint mir überflüssig.
Die PrefBar ist nicht ganz das, was ich suche.
Den Proxy einzuschalten, bedeutet nämlich auch noch andere Einstellungen zu ändern:
Bilder automatisch laden: permissions.default.image=2 (nie)
Proxy einschalten: network.proxy.type=1 (manuelle Konfiguration)
DNS lookups: network.proxy.socks_remote_dns=1 (Proxy)