Les polices et les couleurs

Police générale

La famille ainsi que la taille du jeu de caractères sont paramétrables ici. Il peut s'avérer par exemple utile d'agrandir le texte dans le cadre d'une vidéo-projection.

Police de l'espace graphique

Ces options concernent le texte produit par la tortue à l'aide de la commande écris (voir l'index des commandes).

Coloration syntaxique

En cliquant sur les rectangles correspondants, une fenêtre permet de sélectionner une couleur pour chaque type de mots mis en valeur. La coloration syntaxique peut être désactivée dans les réglages avancés.