Modifier ou définir l'éditeur de script Greasemonkey dans Firefox

Si vous êtes un fan de l'extension Greasemonkey pour Firefox, vous vous demandez peut-être comment changer l'éditeur / visualiseur de script car il n'y a pas d'option pour cela dans l'interface utilisateur. C'est encore pire lorsque vous téléchargez des scripts depuis un site Web et que les fins de ligne ne fonctionnent pas dans l'éditeur par défaut de qualité inférieure..

Bloc-notes sacré en marbre, Batman!

Changer l'éditeur de script Greasemonkey

Type à propos de: config dans la barre d'adresse, puis filtrez comme suit:

greasemonkey.editor

Si la clé n'existe pas, cliquez avec le bouton droit dans la zone vide et créez une nouvelle chaîne en lui donnant les valeurs suivantes:

• Nom de la clé: greasemonkey.editor
• Valeur clé: Chemin complet vers un éditeur qui ne craint pas autant que le bloc-notes.

Cette astuce devrait fonctionner pour tout système d'exploitation prenant en charge Firefox. Merci à Daniel d'avoir oublié comment faire cela et d'avoir inspiré l'article. =)