Gérer les polices

Modifier un alphabet personnalisé en en changeant le nom, l’espacement par défaut ou le type de jointure. Lorsqu’un alphabet n’a plus d’utilité, il peut être supprimé. Pour modifier des polices, sélectionnez Configuration > Gérer alphabets.

ManageAlphabets.png

 

Utilisez ce dialogue pour :

RenameAlphabet.png

 

RenameLetter.png

 

Sujets connexes