Page des préférences de l'éditeur de texte

Dans la page Editeur de texte, vous pouvez modifier les préférences suivantes.

Options d'apparence options

Option
Description
Valeur par défaut
Largeur de l'onglet affiché
Cette option vous permet de définir la largeur d'onglet pour l'éditeur de texte.
4
Annuler la taille de l'historique
Cette option vous permet d'annuler la taille de l'historique pour l'éditeur de texte.
25
Mettre en évidence la ligne en cours
Cette option détermine si la ligne en cours est mise en évidence ou non.
Activée
Afficher la marge d'impression
Cette option détermine si la marge d'impression est visible ou non.
Désactivée
Afficher les numéros de ligne
Cette option détermine si les numéros de ligne s'affichent dans la partie gauche de l'éditeur de texte.
Désactivée
Afficher les indicateurs de plage
Cette option détermine si les indicateurs de plage s'affichent dans l'éditeur de texte.
Activée
Prendre en charge la navigation de style hyperlien
Cette option détermine si la navigation de style hyperlien est prise en charge.
Activée
Modificateur clé de navigation de style hyperlien
Cette option définit le modificateur clé de navigation de style hyperlien.
Ctrl
Désactiver le mode de saisie par écrasement
Cette option détermine si le mode de saisie par écrasement est activé ou désactivé.
Désactivée
Option de couleur de l'aspect
Cette option permet de contrôler les couleurs d'aspect.

La page des préférences de l'éditeur de texte se présente ainsi :

Image de la page des préférences de l'éditeur de texte

Référence connexe
Editeur