Maison > Java > javaDidacticiel > Comment changer la taille de la police d'Eclipse

Comment changer la taille de la police d'Eclipse

藏色散人
Libérer: 2022-01-12 15:05:52
original
164584 Les gens l'ont consulté

Comment changer la taille de la police d'Eclipse : 1. Ouvrez Eclipse et cliquez sur l'option de fenêtre ; 2. Recherchez l'option de préférences dans le menu déroulant 3. Recherchez l'option de couleurs et de polices ; la barre de menu de gauche ; 4. Cliquez sur la police du texte pour modifier la taille de la police.

Comment changer la taille de la police d'Eclipse

Comment ajuster la taille de la police Eclipse ?

(tutoriel recommandé : cours java )

Étapes pour ajuster la taille de la police d'Eclipse :

Première étape : Ouvrez Eclipse et recherchez la fenêtre.

Comment changer la taille de la police dEclipse

Étape 2 : Cliquez et recherchez les préférences dans le menu déroulant.

Comment changer la taille de la police dEclipse

Étape 3 : Dans la barre de menu du gauche Rechercher général, l'apparence est sur la première ligne après l'expansion générale, cliquez pour développer l'apparence.

Comment changer la taille de la police dEclipse

Étape 4 : Trouver les couleurs et les polices, cliquez ici Nous avons presque trouvé ce que nous cherchons

Comment changer la taille de la police dEclipse

Étape 5 : Voyez qu'il y a de nombreuses options dans la colonne de police de droite, il nous suffit pour modifier la base.

Comment changer la taille de la police dEclipse

Étape 6 : Cliquez pour développer Basic, il y a l'option Police de texte en bas, cliquez.

Comment changer la taille de la police dEclipse

Étape 7 : Ensuite, Modifier à droite est activé, cliquez sur Modifier.

Comment changer la taille de la police dEclipse

Recommandations associées : Tutoriel d'introduction à 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:
source:php.cn
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
Tutoriels populaires
Plus>
Derniers téléchargements
Plus>
effets Web
Code source du site Web
Matériel du site Web
Modèle frontal