Discussion :

[cantador]

Bonjour,

Comment modifier la taille de la fonte dans l'éditeur java d'Eclipse?

merci

[Mickael_Istria]

Il y a plein de manieres:
* Ctrl+/Ctrl-
* Window > Editor > Zoom In/Out
* Ctrl+3 > Zoom In/Out
* Window > Preference > General > Appearance > Colors and Fonts > Basic > Text Font > Edit

[cantador]

j'avais commencé..
le ctrl + / ctrl - ne fonctionne pas

mais j'ai loupé la dernière, la plus intéressante :
Window > Preference > General > Appearance > Colors and Fonts > Basic > Text Font > Edit

et là ça fonctionne.

MERCI
@bientôt

[Mickael_Istria]

j'avais commencé..
le ctrl + / ctrl - ne fonctionne pas

Le Ctrl+/- ne fonctionne que si te focus est sur un editeur de texte pour l'instant. Si malgre ca il ne marche toujours pas, il faut que tu ouvres un bug avec des details pour reproduire le probleme a https://bugs.eclipse.org/bugs/enter_...component=Text

[cantador]

il faut que tu ouvres un bug avec des details pour reproduire le probleme

C'est fait, mais j'ai un autre problème plus sérieux avec Tomcat
voir mon post

https://www.developpez.net/forums/d2...omcat-eclipse/