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

#2 2023-01-24 09:33:35

PYTONPRO_DARK107v4
Membre
Inscription : 2023-01-24
Messages : 2

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

Bonjour Jeanjean, également professeur de Numérique et Science Informatique le problème se posait aussi, j'ai heureusement trouvé une solution ! il suffit de faire ctrl + zoom de la souris sur la console.
Confraternellement, Vive Python !

Hors ligne

#3 2023-05-18 06:50:24

chiefjournal
Membre
Inscription : 2023-05-18
Messages : 1

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

Make sure the battery bar at the top of your home screen is completely filled up tunnel rush

Dernière modification par chiefjournal (2023-05-18 06:50:39)

Hors ligne

Pied de page des forums