CHANGE POLICE
Ecran > Initialisation > Change police (1003)
Permet de modifier la police de caractère du bord de la fenêtre désignée. Les différentes polices à disposition sont proposées dans un menu popup.
Rubriques connexes Change toutes pol , Couleurs
