Si vous êtes un fan de l'extension Greasemonkey pour Firefox, vous pourriez vous demander 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 à partir de certains sites Web et que les fins de ligne ne fonctionnent pas dans l'éditeur par défaut de qualité inférieure.
Bloc-notes Saint Jumbled, Batman!
Changer l'éditeur de script Greasemonkey
Type about: config dans la barre d'adresse, puis filtrez comme suit:
greasemonkey.editor
Si la clé n'existe pas, faites un clic 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 n'est pas aussi nul 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. =)
