Den Editor für Greasemonkey-Scripte ändern

26.09.2007 11:57 Uhr | Kommentare: 0 | Kommentar hinterlassen
Einsortiert in Software

Ich editiere häufig direkt aus Firefox heraus Greasemonkey-Scripte. Beim allerersten Editieren wird man nach seinem Wunscheditor gefragt. Ab diesem Zeitpunkt wird dann immer dieser Editor für das Bearbeiten von Greasemonkey-Benutzerscripte gestartet. Eine Möglichkeit diesen einmal ausgewählten Editor zu ändern, gibt es in Greasemonkey nicht.

Dabei läßt sich die Vorgabe für den zu startenden Editor unkompliziert ändern. Einfach in die Adresszeile von Firefox about:config eingeben und ENTER drücken. Dann anschließend als Filter greasemonkey.editor eingeben und einen Doppelklick auf die gefundene Zeile machen.

Greasemonkey-Editor-Einstellungen

Nun den kompletten Pfad zum neuen Wunscheditor in den sich öffnenden Dialog schreiben, Ok anklicken und schon ist man fertig. Löscht man hingegen den bisher eingetragenen Editor nur heraus, wird man beim nächsten Editieren - wie beim allerersten Mal - nach dem zu verwendenden Editor gefragt.

 

Hinterlasse einen Kommentar

Bitte beachten: Mit der Abgabe eines Kommentares oder dem Senden eines Trackbacks erklärst Du Dich mit den Kommentar- und Trackbackrichtlinien einverstanden!

XHTML: Diese Tags sind erlaubt: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <code> <em> <i> <strike> <strong>

Du kannst Deinen Kommentar nach dem Abspeichern noch 30 Minuten bearbeiten.

Kurznavigation

Featured Story

WordPress-Plugins

Tags

Kategorien

Empfehlungen

Hilfen und mehr ...

Kommerzielle Angebote

Anderes