Cette page vous permet de définir les préférences suivantes :
Option |
Description |
Valeur par défaut |
---|---|---|
Police du texte |
Pour pouvoir modifier la police utilisée par l'éditeur Java, cliquez sur le bouton Modifier. |
Courier Regular 10 points |