Ce site disposera de fonctionnalités limitées pendant que nous effectuons des opérations de maintenance en vue de vous proposer un meilleur service. Si un article ne règle pas votre problème et que vous souhaitez poser une question, notre communauté d’assistance est prête à vous répondre via @FirefoxSupport sur Twitter, et /r/firefox sur Reddit.

Rechercher dans l’assistance

Évitez les escroqueries à l’assistance. Nous ne vous demanderons jamais d’appeler ou d’envoyer un SMS à un numéro de téléphone ou de partager des informations personnelles. Veuillez signaler toute activité suspecte en utilisant l’option « Signaler un abus ».

En savoir plus

How do I change the text editor for greasemonkey?

  • 3 réponses
  • 58 ont ce problème
  • 1 vue
  • Dernière réponse par cor-el

more options

It asked me to chose a text editor. I chose Open office. Then I found out open office can't open greasemonkey scripts.

How do I make it open scripts with gedit?

It asked me to chose a text editor. I chose Open office. Then I found out open office can't open greasemonkey scripts. How do I make it open scripts with gedit?

Solution choisie

GreaseMonkey scripts are plain text files that have a file extension user.js. Every text editor should be able to handle such a file. What happens if you open that file with OO Writer?

You can probably find the selected editor as a pref on the about:config page.

Lire cette réponse dans son contexte 👍 3

Toutes les réponses (4)

more options

Solution choisie

GreaseMonkey scripts are plain text files that have a file extension user.js. Every text editor should be able to handle such a file. What happens if you open that file with OO Writer?

You can probably find the selected editor as a pref on the about:config page.

more options

The about:config page worked. Thanks.

Modifié le par Telepian

more options

It worked!! Thank you.

Modifié le par cor-el