Taille de police Eclipse: comment définir la taille de la police
Parfois, il est nécessaire de modifier la taille de la police dans l'IDE Eclipse. Nous vous montrons ici comment définir la taille de police Eclipse.
Taille de police Eclipse: comment définir la taille de la police
Vous pouvez modifier la taille de police dans Eclipse comme suit:
- Cliquez sur "Fenêtre" en haut de la barre de menu et sélectionnez "Préférences".
- Sélectionnez "Apparence -> Couleurs et polices" avec un clic de souris dans le menu de gauche.
- Double-cliquez sur "Basic". Dans cette liste, vous pouvez sélectionner exactement pour quel élément la taille de police doit être modifiée.
- Par exemple, si vous souhaitez modifier la taille de la police dans l'éditeur, sélectionnez "Police du texte" et cliquez sur "Modifier". Définissez la taille de la police et confirmez vos modifications avec "OK" et "Appliquer".
Dans le prochain article, nous expliquerons comment installer des plugins dans Eclipse.