Je travaille avec Twist dans le cadre du développement de tests automatiques, et je voudrais modifier (diminuer la taille) de la police dans l'éditeur de scénarios Twist. Je n'ai pas trouvé d'option dans la section "Twist" du menu "Préférences", et les autres paramètres sont liés à l'éditeur Eclipse (par exemple pour les fichiers .java).
Regards, Vlad