Comment définir la taille de la police dans Eclipse Comment définir la taille de la police dans Eclipse

De nombreux utilisateurs sont troublés par le problème que les polices Eclipse sont trop petites. Mais en fait, la solution à ce problème est très simple. L'éditeur PHP Xigua expliquera en détail comment définir la taille de la police dans Eclipse à travers cet article. Lisez ci-dessous pour savoir comment résoudre facilement le problème des polices trop petites.

Tout d'abord, ouvrez Eclipse, recherchez [fenêtre]--[préférences], recherchez général dans la barre de menu de gauche, l'apparence est sur la première ligne une fois le général développé, cliquez pour développer l'apparence.

Ensuite, recherchez [couleurs et polices] et cliquez.

Ensuite, voyez qu'il y a de nombreuses options dans la colonne de police de droite. Il suffit de modifier le ; en base. Il y a l'option Police de texte en bas

Ensuite, cliquez pour développer Basic. , puis cliquez sur l'option Police de texte en bas. Cliquez ensuite sur Modifier.

Enfin, choisissez la police que vous souhaitez.

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!