Userscript: Webseitenstil umschalten

David44

Seit langem verwende ich zur Zufriedenheit und daher mittlerweile unverzichtbar mehrere Scripte der Art buttonToggleJavascript.uc.js. Nun würde ich gerne per Button auch zwischen "kein Stil" und "Standard-Stil" umschalten.

Die entscheidenden Kommandos sind mir klar: "gPageStyleMenu.disableStyle()" und "gPageStyleMenu.switchStyleSheet(null)". Auch das ganze Button-Gerüst bleibt wie gehabt. Es fehlt eigentlich nur an einem Pendant zu "Services.prefs.getBoolPref('javascript.enabled')", um das richtige Symbol anzeigen und korrekt umschalten zu können. Wie macht man das? Auch Ideen für ein schönes Symbol-Paar wären nützlich.

Sören Hentzschel

Zitat von Sören Hentzschel

aktualisiere zunächst auf Firefox ESR 91 oder Firefox 94. Selbst als Firefox ESR wird Firefox 78 nicht länger unterstützt. In einem Jahr kann viel passieren, darum ist es nicht sinnvoll, erst für Firefox 78 eine Lösung zu suchen und dann zu aktualisieren, wenn dann unter Umständen eine andere Lösung benötigt wird.
Auch ist das Betriebssystem nicht egal. Du wirst danach nicht grundlos gefragt.

Speravir

Zitat von David44

Es fehlt eigentlich nur an einem Pendant zu "Services.prefs.getBoolPref('javascript.enabled')",

Vielleicht verstehe ich es falsch, aber:

Services.prefs.setBoolPref('javascript.enabled', true);
Services.prefs.setBoolPref('javascript.enabled', false);