Bonjour,
Quelle manipulation faut-il faire pour agrandire la police(de l'éditeur et de la console) sous eclipse? merci.
Inscrivez-vous gratuitement
pour pouvoir participer, suivre les réponses en temps réel, voter pour les messages, poser vos propres questions et recevoir la newsletter
Une police plus grande.
Bonjour,
Quelle manipulation faut-il faire pour agrandire la police(de l'éditeur et de la console) sous eclipse? merci.
The beautiful thing about learning is that nobody can take it away from you.
Vas dans les préférences, élément "Général \ Apparence \ Couleurs et polices"
Je ne répond à aucune question technique par MP.
Si votre problème est réglé, n'oubliez pas
Dans tous les cas
Bonjour,
Merci, ça marche!
The beautiful thing about learning is that nobody can take it away from you.
Vous avez un bloqueur de publicités installé.
Le Club Developpez.com n'affiche que des publicités IT, discrètes et non intrusives.
Afin que nous puissions continuer à vous fournir gratuitement du contenu de qualité, merci de nous soutenir en désactivant votre bloqueur de publicités sur Developpez.com.
Répondre avec citation
Partager