Comment définir la taille de la police en Java

Comment définir la taille de la police en Java : ouvrez d'abord le fichier Java d'Eclipse et sélectionnez l'option de préférences ; puis sélectionnez [Police de texte de l'éditeur Java] dans [Couleurs et polices] et enfin cliquez sur Modifier pour sélectionner la police ; et juste la taille.

Recommandations d'apprentissage gratuites associées : bases de Java

Comment définir la taille de la police en Java :

1. Ouvrez Eclipse et ouvrez un fichier Java.

2. Cliquez sur le menu [Fenêtre] et sélectionnez l'option [préférences]

3. l'option de gauche Général]->[Apparence]->[Couleurs et polices]

4. Recherchez [java]->[Police de texte de l'éditeur Java] sur la droite

5. Cliquez sur le bouton [Modifier] pour modifier

6. Sélectionnez la police et la taille que vous souhaitez. souhaitez définir, enfin, cliquez sur le bouton OK

7. Cliquez sur le bouton [OK] pour terminer les paramètres.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!