Editeur Java

Cette page vous permet de définir les préférences suivantes :

Préférences de l'éditeur Java

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