25.02.2014, 14:08
Mit den Add-ons hatte es nichts zu tun, der Editor hat vorher jahrelang mit allen Add-ons problemlos funktioniert, und das Deaktivieren/Entfernen der Add-ons hat das Problem nicht gelöst.
Der entsprechende Code wurde auch nicht weggefiltert, im Browser-Log konnte man allerdings sehen daß beim Erzeugen des Editor-Objekts regelmäßig Fehler auftraten. Also wohl ein FF-internes Problem...
Jedenfalls funktioniert der Editor heute wieder (mit eingeschaltetem NoScript, Adblock+ usw.). Falls der JS-Code nicht verändert wurde ist mir der Grund für dieses vorübergehende Problem daher schleierhaft.
Noch ne Bemerkung zu NoScript: natürlich funktioniert heute so gut wie keine Seite mehr ganz ohne JS, aber NoScript ist weiterhin nützlich als popup-blocker und anti-xss protection. Auch wenn man eine bestimmte JS-Funktion auf einer Website braucht heißt das noch lange nicht daß jeder beliebige Code ausgeführt werden muß...
Der entsprechende Code wurde auch nicht weggefiltert, im Browser-Log konnte man allerdings sehen daß beim Erzeugen des Editor-Objekts regelmäßig Fehler auftraten. Also wohl ein FF-internes Problem...
Jedenfalls funktioniert der Editor heute wieder (mit eingeschaltetem NoScript, Adblock+ usw.). Falls der JS-Code nicht verändert wurde ist mir der Grund für dieses vorübergehende Problem daher schleierhaft.
Noch ne Bemerkung zu NoScript: natürlich funktioniert heute so gut wie keine Seite mehr ganz ohne JS, aber NoScript ist weiterhin nützlich als popup-blocker und anti-xss protection. Auch wenn man eine bestimmte JS-Funktion auf einer Website braucht heißt das noch lange nicht daß jeder beliebige Code ausgeführt werden muß...