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").