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

Comment changer la taille de la police d'Eclipse

藏色散人
Libérer： 2022-01-12 15:05:52
original
164416 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：
eclipse 字体大小
source：php.cn
Article précédent：Qu'est-ce que Java orienté objet Article suivant：Qu’est-ce que le SDK Eclipse ?
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
function_exists() ne peut pas déterminer la fonction personnalisée Function test () {return true;} if (function_exists ('test')) {echo "le test est une ...
Depuis 2024-04-29 11:01:01
0
2
1744
Comment afficher la version mobile de Google Chrome Bonjour professeur, comment puis-je changer Google Chrome en version mobile ?
Depuis 2024-04-23 00:22:19
0
10
1892
La fenêtre enfant exploite la fenêtre parent, mais la sortie ne répond pas. Les deux premières phrases sont exécutables, mais la dernière ne peut pas être implémentée...
Depuis 2024-04-19 15:37:47
0
1
1612
Il n'y a aucune sortie dans la fenêtre parent document.onclick = function(){ window.opener.document.write('Je suis la sortie de la fenêt...
Depuis 2024-04-18 23:52:34
0
1
1523
Où sont les didacticiels sur la cartographie mentale CSS ? Didacticiel
Depuis 2024-04-16 10:10:18
0
0
1561
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！