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

Comment changer la taille de la police d'Eclipse

藏色散人
藏色散人original
2019-05-24 09:56:12164307parcourir

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!

Déclaration:
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