Echanges autour d'EduPython.
Vous n'êtes pas identifié(e).
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
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