Modifier ou Set l'éditeur de script Greasemonkey pour Firefox
Si vous êtes un fan de l'extension Greasemonkey pour Firefox vous pourriez vous demander comment changer l'éditeur de script / spectateur comme il n'ya pas de telle option dans l'interface utilisateur. C'est encore pire lorsque vous téléchargez les scripts de certains site web et les fins de ligne ne fonctionnent pas dans l'éditeur par défaut de qualité inférieure.
Saint Jumbled Bloc-notes, Batman!
Editeur Changer script Greasemonkey
Type about:config dans la barre d'adresse, puis filtrer par le texte suivant:
greasemonkey.editor
Si la clé n'existe pas, faites un clic droit dans la zone vide et de créer une nouvelle chaîne, ce qui lui donne les valeurs suivantes:
- Nom de la clé: greasemonkey.editor
- Valeur clé: chemin complet vers un éditeur qui n'aspire pas autant que le bloc-notes.
Cette astuce devrait fonctionner pour n'importe quel système d'exploitation qui prend en charge Firefox. Merci à Daniel pour oublier comment faire cela et inspirant de l'article. =)
Commentaires
Enregistrer un commentaire