Page des préférences Editeurs de texte

Les préférences suivantes peuvent être modifiées dans la page de préférences Général > Editeurs > Editeurs de texte .

Options d'apparence options

Option
Description
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é
Afficher la marge d'impression
Cette option détermine si la marge d'impression est visible ou non.
Désactivé
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é
Afficher les indicateurs de plage
Cette option détermine si les indicateurs de plage s'affichent dans l'éditeur de texte.
Activé
Prendre en charge la navigation de style hyperlien
Cette option détermine si la navigation de style hyperlien est prise en charge.
Activé
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é
Option de couleur de l'aspect
Cette option permet de contrôler les couleurs d'aspect.

La page des préférences Editeurs de texte se présente ainsi :

Image de la page de préférences des éditeurs de texte

Référence connexe
Editeur