in

Modifier ou définir l’éditeur de script Greasemonkey dans Firefox

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

Laisser un commentaire

Votre adresse de messagerie ne sera pas publiée. Les champs obligatoires sont indiqués avec *

Comment définir vos applications par défaut dans Windows 10

Comment définir vos applications par défaut dans Windows 10

Comment trouvez-vous votre mot de passe de groupe résidentiel Windows 7 ou 8?

Comment trouvez-vous votre mot de passe de groupe résidentiel Windows 7 ou 8?