choix de la police

[lionel58]

Bonjour,
Je ne parviens pas à obtenir la police voulue ...Je vais dans préférence , police, je choisis Time new roman, appliquer, ok, et...rien ne se passe !
tous mes textes dans mes "notes" restent en Arial...
Comment figer mon choix définitivement ?
Merci de votre aide

 

[predigny]

Cette préférence définit la police pour les futures notes, pas pour celles qui sont déjà éditées.
Pour celles qui sont déjà éditées, il faut utiliser la fonction "Utilitaires/Notes/Modification de la police des notes". Le changement ne peut se faire que pour un type de police à la fois mais pour la taille on peut utiliser le " ? "