Il est relativement simple de modifier la taille des polices dans Eclipse par le biais des préférences (on y a répondu plusieurs fois dans ce forum).
Cependant, j'aimerais changer la taille de la police rapidement (par exemple, avec Ctrl + + y Ctrl + - comme dans un terminal Linux ou Ctrl + mouse wheel dans les applications MS Office). Existe-t-il un moyen de faire cela dans Eclipse ?
Je sais que cela fait longtemps que la question originale a été postée, mais pour référence future : vérifiez ce projet, https://github.com/gkorland/Eclipse-Fonts Je l'ai utilisé, et c'est très simple et efficace.
Cela a fonctionné pour moi sur certains fichiers mais pas sur ceux qui m'intéressaient : les fichiers .scala et .java. Le problème s'est avéré être qu'eclipse-fonts semble n'affecter que le paramètre "Text Font" plutôt que d'être conscient du paramètre de police utilisé dans la fenêtre actuelle. Si vous avez modifié les paramètres de la "Police de texte de l'éditeur Java" par rapport à la valeur par défaut (qui consiste à utiliser uniquement les paramètres de la "Police de texte"), les polices eclipse ne fonctionneront pas. La solution est de sélectionner "Java Editor Text Font" dans "Preferences / General / Appearance / Colors and Fonts" et d'appuyer sur Reset.
Fonctionne très bien pour mon cas d'utilisation simple (la plupart des polices se trouvant par défaut dans le paramètre "Police texte") sur Juno sur Mac :)
Jetez un coup d'œil à ce projet : http://code.google.com/p/tarlog-plugins/downloads/detail?name=tarlog.eclipse.plugins_1.4.2.jar&can=2&q=
Il a quelques autres caractéristiques, mais le plus important, c'est qu'il a Ctrl + + y Ctrl + - pour changer la taille de la police, c'est génial.
Hey marcel pouvez-vous donner un lien ou une documentation à ce sujet ? j'ai besoin de plus d'informations à ce sujet.
Eh bien, à part ce post tarlogonjava.blogspot.com/2008/07/ Sur le site du créateur, il n'y a pas grand chose. Mais si vous vous demandez comment l'installer, il suffit de copier le jar dans votre répertoire eclipse/plugins/ et de redémarrer eclipse, vous devriez pouvoir faire ctrl++ et ctrl+- pour changer la taille de la police ensuite.
Super, merci de partager. Pour installer le plugin, tout ce que vous avez à faire dans Eclipse 3.7 est de copier le JAR dans le dossier suivant /eclipse/dropins .
El Eclipse-Fonts ajoutera des boutons dans la barre d'outils et des raccourcis clavier pour modifier la taille des caractères. Vous pouvez ensuite utiliser AutoHotkey pour faire de la Ctrl+Molette de la souris zoom.
Sous Aide | Installer un nouveau logiciel... dans le menu, collez l'URL de mise à jour ( http://eclipse-fonts.googlecode.com/svn/trunk/FontsUpdate/ ) dans le Fonctionne avec : et appuyez sur Entrez . Développez l'arbre et sélectionnez PolicesFeuille de route comme dans l'image suivante :
Terminez l'installation et redémarrez Eclipse. Vous devriez alors voir apparaître l'écran suivant A les boutons de la barre d'outils (entourés en rouge dans l'image suivante) et être capable d'utiliser les raccourcis clavier Ctrl+- y Ctrl+= pour zoomer (bien que vous deviez d'abord délier ces touches d'Eclipse).
Pour obtenir Ctrl+MouseWheel le zoom, vous pouvez utiliser AutoHotkey avec le script suivant :
; Ctrl+MouseWheel zooming in Eclipse.
; Requires Eclipse-Fonts (https://code.google.com/p/eclipse-fonts/).
; Thank you for the unique window class, SWT/Eclipse.
#IfWinActive ahk_class SWT_Window0
^WheelUp:: Send ^{=}
^WheelDown:: Send ^-
#IfWinActive
Merci pour votre complément, j'espère que votre commentaire aidera d'autres utilisateurs de Luna.
Travailler dans Kepler. Je cherche une réponse à cette question depuis si longtemps - Merci !
Merci Naveed d'avoir pris le temps de mettre le guide d'installation du plugin que j'ai indiqué il y a quelques années. Impressionnant.
Puisqu'il écrit Il est relativement simple de modifier la taille des polices dans Eclipse par le biais des préférences. cette solution est explicitement no demandé. -1 !
De plus, je ne cherche pas tant de raccourcis dans ce genre d'IDE. Sinon, je préfère aller vers vim :-)
J'ai trouvé un excellent plugin qui fonctionne dans Juno et Kepler. Il place des raccourcis sur la barre d'accès rapide pour augmenter ou diminuer la taille du texte.
Installer un nouveau logiciel -> http://eclipse-fonts.googlecode.com/svn/trunk/FontsUpdate/
Prograide est une communauté de développeurs qui cherche à élargir la connaissance de la programmation au-delà de l'anglais.
Pour cela nous avons les plus grands doutes résolus en français et vous pouvez aussi poser vos propres questions ou résoudre celles des autres.
0 votes
Je l'ai également cherché, mais à ma connaissance, ce raccourci n'existe pas. Le seul moyen de modifier la taille de la police est de passer par les préférences.
0 votes
Relatif, mais malheureusement aussi sans réponse : stackoverflow.com/questions/790720/
2 votes
À propos de CTRL+roue, il y a une bogue soumis à Eclipse mais je ne vois personne travailler sur ce sujet ; en ce qui concerne CTRL++, CTRL+-, je vois les entrées "Zoom in" et "Zoom out" dans la rubrique "Eclipse Indigo".
Window > Preferences > General > Keysassignés à CTRL+- et CTRL+=, mais je n'arrive pas à les faire fonctionner...3 votes
Autre solution Windows -> Préférences -> Général -> Apparence -> Couleurs et polices -> Editeur de texte structuré -> Editer. Cela fonctionne pour moi :)