TAILLE

Modifie la taille de la police de ART-OS

Tapez TAILLE puis mettez un espace puis mettez la taille voulue.

Par exemple, pour mettre la taille 15, il faut taper :

TAILLE 15

Pour revenir à la taille de ART-OS par défaut (10), tapez simplement TAILLE (sans espaces).

NB : La taille ne peut pas être modifié sur certaines polices (par exemple "System").