简体中文(ZH-CN) English(EN) 繁体中文(ZH-TW) 日本語(JA) 한국어(KO) Melayu(MS) Français(FR) Deutsch(DE)
Maison > Java > JavaBase > le corps du texte

Comment définir la taille de la police en Java

coldplay.xixi
Libérer： 2022-01-12 15:14:35
original
51215 Les gens l'ont consulté

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.

Comment définir la taille de la police en Java

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.

Comment définir la taille de la police en Java

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

Comment définir la taille de la police en Java

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

Comment définir la taille de la police en Java

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

Comment définir la taille de la police en Java

5. Cliquez sur le bouton [Modifier] pour modifier

Comment définir la taille de la police en Java

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

Comment définir la taille de la police en Java

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

Comment définir la taille de la police en Java

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!

Étiquettes associées：
java 字体大小
source：php.cn
Article précédent：Combien d’octets char occupe-t-il en Java ? Article suivant：Comment implémenter une file d’attente avec deux piles ?
Déclaration de ce site Web
Le contenu de cet article est volontairement contribué par les internautes et les droits d'auteur appartiennent à l'auteur original. Ce site n'assume aucune responsabilité légale correspondante. Si vous trouvez un contenu suspecté de plagiat ou de contrefaçon, veuillez contacter admin@php.cn
Derniers articles par auteur
Derniers numéros
Comment convertir une chaîne en un nombre à 19 chiffres en javaScript sans arrondi automatique ? Nous avons une entrée de chaîne number input="6145390195186705543" si nous voulo...
Depuis 2024-03-30 14:42:35
0
1
367
Rubriques connexes
Plus>
Recommandations populaires
Tutoriels populaires
Plus>
Tutoriels associés
Recommandations populaires
Derniers cours
Derniers téléchargements
Plus>
effets Web
Code source du site Web
Matériel du site Web
Modèle frontal
À propos de nous Clause de non-responsabilité Sitemap
Site Web PHP chinois：Formation PHP en ligne sur le bien-être public，Aidez les apprenants PHP à grandir rapidement！