Définition des profils de l'éditeur

Vous pouvez configurer l'éditeur de manière à adopter les caractéristiques de clavier et de commande de certains éditeurs connus.

Dans les applications d'édition qui fournissent des pages de préférences, vous pouvez définir le profil d'éditeur à partir de la page de préférences principale. Pour définir un profil d'éditeur, procédez comme suit :

  1. Sélectionnez la page de préférences principale de l'éditeur.
  2. Sélectionnez le profil à utiliser dans la liste Profil d'éditeur. Par exemple :
    seu, 
  3. Cliquez sur Appliquer ou OK.

Vous pouvez définir un profil d'éditeur à l'aide de la commande set updateProfile.baseProfile. La valeur de ce profil est appliquée dans la vue courante pendant la session d'édition en cours. Par exemple, pour affecter la valeur seu au profil d'éditeur, exécutez les deux commandes suivantes à partir de la ligne de commande :

set updateProfile.baseProfile seu
updateProfile 

La commande set default.updateProfile.baseProfile permet de définir un profil d'éditeur global persistant :

set default.updateProfile.baseProfile seu
updateProfile 

Concepts connexes
Profils d'éditeur

Tâches connexes
Edition des commandes de l'éditeur

Références connexes
Profil de base brief
Profil de base emacs
Profil de base epm
Profil de base ispf
Profil de base lpex
Profil de base seu
Profil de base vi
Profil de base xedit
Commande updateProfile
Paramètre updateProfile.baseProfile