Bonjour.
Dans les Préférences : JavaScript d’Acrobat on peut définir un logiciel externe comme éditeur de script, un éditeur de texte du type TextWrangler ou NotePadPro.
Personnellement, depuis Acrobat 7 jusqu’à Acrobat DC je n’ai jamais réussi à utiliser un éditeur externe parce-que ça fait planter Acrobat, mais certains y arrivent.
Du coup j’ai pris l’habitude de copier-coller les scripts entre les fenêtres d’Acrobat et de TextWrangler.
On peut éditer tous les scripts d’un PDF en passant par JavaScript : Tous les scripts JavaScripts