mardi 3 juillet 2012

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!

image

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. =)

Aucun commentaire:

Enregistrer un commentaire