Comment modifier la police jsp dans Eclipse

Comment modifier les polices jsp dans Eclipse : cliquez d'abord sur les options [fenêtre], [préférences] et [général] dans l'ordre ; puis recherchez l'option [couleurs et polices] et enfin cliquez sur le bouton [modifier] ; pour modifier la taille de la police.

Eclipse est une plateforme de développement extensible open source basée sur Java. En soi, il s'agit simplement d'un cadre et d'un ensemble de services permettant de créer des environnements de développement via des composants plug-in.

La plupart des paramètres d'Eclipse sont implémentés via les préférences Fenêtre-> dans la barre de menu

1 Changer la taille de la police des fichiers Java
Fenêtre-> préférences-> ;Général->Apparence->Couleurs et polices->
Java->Police de texte de l'éditeur Java->bouton droit Modifier
La valeur par défaut pour la version anglaise est Courier New Regular 10
2. Modifiez le paramètre de taille de police du fichier jsp (Ce paramètre modifie également la taille de police d'autres types de fichiers, tels que XML, etc.)
Fenêtre->préférences-> ;Général->Apparence->Couleurs et polices ->
Basique->TextFont->Bouton Modifier à droite
La version anglaise est par défaut Courier New Regular 10

3. Paramètres de l'interface d'écriture de fichiers jsp séparés

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!