Forum EduPython

Echanges autour d'EduPython.

Vous n'êtes pas identifié(e).

#1 2022-08-05 17:11:26

Jeanjean
Membre
Inscription : 2022-08-05
Messages : 1

Changer la police dans une boîte de dialogue "input"

Bonjour,
Je suis prof de Maths et SNT et je vidéoprojette fréquemment l'exécution de programmes avec Edupython.
Pour que les élèves puissent bien voir, je mets une police assez grande dans l'éditeur et la console.
En revanche, dans les boîtes de dialogue appelées par la fonction input, la police demeure trop petite.
Malgré mes recherches, je n'ai pas réussi à modifier ce paramètre.
Est-il possible de modifier l'aspect de ces boîtes de dialogue (en particulier la taille de police) ?
Merci
Cordialement,

Hors ligne

Pied de page des forums