text-size! ( n -- )

publication: 16 mars 2023 / mis à jour 16 mars 2023

Détermine la taille du texte à afficher en mode texte.

20 text-size!

Legal: site web personnel sans commerce / personal site without seling