Man bekommt übrigens beim Aufruf des besagten Menüpunktes auch eine Fehlermeldung in der Fehlerkonsole zu sehen (userChrome_js is not defined) - ich rästelte nun einige Zeit herum, warum userChrome_js in anderen Skripten (extras_config_menu z.B., allerdings in einem xul-File und außerdem mit Aufruf der loadOverlay()-Funktion) nicht rumzickt. Vorerst ebenfalls keine Chance für mich.
Damit ich wenigstens ein kleines Erfolgserlebnis vermelden kann - die erneut aktualisierte Version zeigt nun ggf. " (deaktiviert)" und " (ausgewählt)" bei den Erweiterungen bzw. Themes an. Dank des Umlauts in "ausgewählt" musste ich mich mit Unicode beschäftigen, also nicht wundern, dass Zeile 54 im Quelltext immer noch komisch aussieht. Das Ergebnis in Textdateien usw. ist dann sauber. S. https://github.com/ardiman/userCh…sinfo_0.2.uc.js
hombre: könntest du mir die beiden ominösen Sachen bitte rüberschicken? Manchmal sehen 4 Augen doch mehr.