Navigation

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

Eclipse Discussion :

changer la taille de la fonte


Sujet :

Eclipse

  1. #1
    Membre averti
    changer la taille de la fonte
    Bonjour,

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

    merci

  2. #2
    Membre émérite
    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
    Pour du HTML, CSS, JavaScript, TypeScript, JSon, Yaml, Node... dans Eclipse IDE, installe Eclipse Wild Web Developer
    Pour du Rust dans Eclipse IDE, installe Eclipse Corrosion
    Follow me on twitter

  3. #3
    Membre averti
    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

  4. #4
    Membre émérite
    Citation Envoyé par cantador Voir le message
    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
    Pour du HTML, CSS, JavaScript, TypeScript, JSon, Yaml, Node... dans Eclipse IDE, installe Eclipse Wild Web Developer
    Pour du Rust dans Eclipse IDE, installe Eclipse Corrosion
    Follow me on twitter

  5. #5
    Membre averti

    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/

###raw>template_hook.ano_emploi###