Comment change-t-on la police d'un programme sur Arduino ?
Tu parles de la police du Moniteur Série ?
Tu peux changer la taille dans Fichiers -> Préférences
Pour la police elle même il faut aller dans le fichier preferences.txt (voir le lien en bas de la boite de dialogue des préférences) et changer :
editor.font=Monospaced,plain,12
Attention, tu change tout : éditeur du code et moniteur série