Local Install<->userChrome.js=Problem mit Scripten

Zitat von loshombre

[...]Das imperiale an der ganzen Nummer ist, die Funktionen dieser Scripte verrichten ihre Arbeit nach wie vor einwandfrei!

Wo sind sie denn nun

http://forums.mozillazine.org/viewtopic.php?p=2456595#2456595

Zitat von Kandrew

Where is this userChrome.js? I think I've heard it mentioned before but I did a search and can't find it.

http://forums.mozillazine.org/viewtopic.php?p=2456782#2456782

Zitat von RenegadeX

If userChrome.js doesn't exist, just create it using Notepad or something.
It'll be/need to be in your Profile's 'Chrome' folder - if you need help locating it, see this document: http://www.mozilla.org/support/firefox/edit

http://forums.mozillazine.org/viewtopic.php?p=2456858#2456858

Zitat von CrazyFred

You need the extension userChrome.js too.

Gruß gammaburst

Zitat von loshombre

Servus gammaburst Kamerad!

Wahrscheinlich hab ich mich nicht klar genug ausgedrückt.
Natürlich habe ich die Erweiterung userChrome.js installiert! Die Scripte waren ja auch in der Datei drin.
Ich bin doch nicht bescheuert, die Dinger sind einfach, mir nichts-dir nichts verschwunden, aber funktionieren tun sie immer noch! :-???

Sei gegrüßt, loshombre vom Todesstern!

Ich ging schon davon aus, daß Du die Erweiterung userChrome.js bereits installiert hast, es kam mir mehr auf die Überprüfung des Pfads an; als erfahrener Fuchsschrauber wirst Du den aber auch schon überprüft haben. Hmm...bin etwas ratlos.
Hier noch der Entwickler-Thread im englischen MozillaZine-Forum zur Erweiterung userChrome.js mit den benötigten "Ingredenzien", darunter z.B. auch MR Tech's Local Install.
[Ext] userChrome.js 0.7

Übrigens: Die Erweiterung userChrome.js braucht man nur dann nicht, wenn statt dessen ChromEdit Plus SE installiert ist, diese Erweiterung beinhaltet aber die Funktionalität der userChrome.js -Erweiterung.

Gruß gammaburst

Zitat von loshombre

Die Erweiterung Local Install bietet in seinem Bearbeitungsfenster mtw. auch die userChrome.js an.

Das stimmt nach meiner Kenntnis nur nach Einbindung eines entspr. *.js-Scriptes. Normal bietet diese Extension die Editierung der userChrome.js nicht an!
Ergänzung MR Tech's Local Install