Sélecteur de Police
La police utilisée pour l’affichage du contexte est modifiable dans les options générales.
Police: nom de la police.
Style: permet de choisir un style : normal, gras, italique ou gras+italique.
Taille: permet de choisir la taille .
Bouton OK: valide et enregistre le choix de la police.
Bouton Annuler: Annule le choix de la police.