Si vous êtes 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 à partir d’un site Web et que les fins de ligne ne fonctionnent pas dans l’éditeur par défaut inférieur.
Bloc-notes Saint Jumbled, Batman!
Changer l’éditeur de script Greasemonkey
Tapez dans la barre d’adresse, puis filtrez par ce qui 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 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. =)