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 sur 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é, Batman!
Changer l'éditeur de script Greasemonkey
Type à propos de: config dans la barre d'adresse, puis filtrez comme suit:
greasemonkey.editor
- 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. =)
