Sélectionnez un éditeur

Cette option vous permet d'utiliser un éditeur de texte standard. La zone de liste déroulante modifiable permet de spécifier l'éditeur de texte par défaut. 

Éditeur personnalisé

Cette option vous permet d'utiliser un éditeur de texte personnalisé. Une boîte de dialogue Propriétés de l'éditeur personnalisé s'affiche.

• Nom : entrez le nom de l'éditeur de texte personnalisé.

• Commande : entrez la commande que vous souhaitez utiliser pour lancer l'éditeur de texte personnalisé.

• Cette application peut ouvrir plusieurs fichiers : sélectionnez cette option si l'éditeur de texte par défaut peut ouvrir plusieurs fichiers.

• Cette application doit être exécutée dans un shell : Cette option permet d'exécuter la commande dans une fenêtre de terminal. Sélectionnez cette option si l'éditeur ne s'ouvre pas dans une fenêtre.

Après avoir spécifié un éditeur de texte personnalisé, vous pouvez cliquer sur le bouton Propriétés afin d'afficher la boîte de dialogue Propriétés de l'éditeur personnalisé. Cette boîte de dialogue permet de modifier les propriétés de l'éditeur de texte personnalisé.

Utiliser cet éditeur pour ouvrir des fichiers texte dans le gestionnaire de fichiers

Cette option permet au gestionnaire de fichiers de démarrer l'éditeur de texte personnalisé pour afficher des fichiers texte.