Raccourci clavier pour changer la taille de la police dans Eclipse?

Il est relativement simple de changer la taille des polices dans Eclipse via les préférences (et a répondu à plusieurs reprises dans ce forum).

Cependant, j'aimerais changer la taille de la police rapidement (par exemple, avec Ctrl+ +et Ctrl+ -comme dans le terminal Linux ou Ctrl+ mouse wheeldans les applications MS Office). Existe-t-il un moyen de faire cela dans Eclipse?

Néon éclipse (4.6)

Agrandir

Ctrl++

ou

Ctrl+=

Dézoomer

Ctrl+-

Cette fonctionnalité est décrite ici :

Dans les éditeurs de texte, vous pouvez désormais utiliser les commandes Zoom avant ( Ctrl+ +ou Ctrl+ =) et Zoom arrière ( Ctrl+ -) pour augmenter et réduire la taille de la police. Comme un changement dans la page de préférences Général> Apparence> Couleurs et polices, les commandes changent constamment la taille de la police dans tous les éditeurs du même type . Si la police du type d'éditeur est configurée pour utiliser une police par défaut, cette police par défaut sera agrandie.

Ainsi, le changement de taille de police n'est pas limité au fichier actuel et la nouvelle valeur de la taille de police est disponible ici Fenêtre > Préférences > Général > Apparence > Couleurs et polices .

Je sais que cela fait longtemps que la question initiale n'a pas été publié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.

Jetez un œ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 d'autres fonctionnalités, mais surtout, il a Ctrl+ +et Ctrl+ -pour changer la taille de la police, c'est génial.

L' extension Eclipse-Fonts ajoutera des boutons de barre d'outils et des raccourcis clavier pour changer la taille de la police. Vous pouvez ensuite utiliser AutoHotkey pour effectuer un zoom Ctrl + Mousewheel .

Sous Aide | Installer un nouveau logiciel ... dans le menu, collez l'URL de mise à jour ( http://eclipse-fonts.googlecode.com/svn/trunk/FontsUpdate/ ) dans la zone de texte Works with: et appuyez sur Entrée . Développez l'arborescence et sélectionnez FontsFeature comme dans l'image suivante:

Terminez l'installation et redémarrez Eclipse, puis vous devriez voir les boutons de la barre d'outils A (entourés en rouge dans l'image suivante) et pouvoir utiliser les raccourcis clavier Ctrl + - et Ctrl + = pour zoomer (bien que vous deviez peut-être dissocier ces touches d'Eclipse première).

Obtenir un zoom Ctrl + MouseWheel , 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

Windows> Préférences> Général> Apparence> Couleurs et polices

Ensuite, pour changer la police de l'éditeur Java: Java> Police du texte de l'éditeur Java> EDIT

Le voilà.

Bizarrement, travailler sur un fichier .js et Ctrl, Shift, +=travaille pour zoomer (et Ctrl -fonctionne pour effectuer un zoom arrière , mais vous devez sélectionner 1ou 2après Ctrl -). Cela ne fonctionne que lorsque je suis dans le fichier js mais le zoom s'applique à tous mes onglets ouverts. Utilisation d'Eclipse Juno sur Ubuntu.

J'ai trouvé un excellent plugin qui fonctionne dans Juno et Kepler. Il met 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/

Dans Eclipse Neon.3, ainsi que dans le nouvel Eclipse Photon (4.8.0), je peux redimensionner la police facilement avec Ctrl+ Shift+ +et -, sans aucun plugin ou liaison de clé spéciale.

Au moins dans l'éditeur Windows (cela ne fonctionne pas dans d'autres vues comme la console, l'explorateur de projet, etc.).

J'utilise un plugin Eclipse (dans Eclipse Marketplace) https://marketplace.eclipse.org/content/fontsize

Voici un moyen plus rapide que les menus multicouches sans recourir à des plug-ins:

Utilisez l'outil d'accès rapide dans le coin supérieur gauche.

Tapez "police", puis, dans la liste qui s'ouvre, cliquez sur le lien "Préférences-> Couleurs et polices-> Général-> Apparence".

Un clic remplace les 4 nécessaires pour y accéder via les menus. Je le fais si souvent, mon outil d'accès rapide le tire comme un choix précédent juste en haut de la liste afin que je puisse simplement taper "police" avec un robinet sur la touche entrée et Boom !, je suis là.

Si vous souhaitez un raccourci clavier, Ctrl + 3 définit le focus sur l'outil d'accès rapide. Mieux encore, cela affiche même automatiquement une liste avec vos choix précédents. Le dernier que vous aurez choisi sera en haut, auquel cas un simple Ctrl + 3 suivi de Entrée vous y amènerait directement! Je l'utilise tout le temps pour l'agrandir pendant de longues sessions de saisie ou de lecture pour soulager la fatigue oculaire, ou pour le réduire si j'ai besoin de plus de texte à l'écran à la fois pour faciliter la recherche de quelque chose.

Ce n'est pas aussi agréable que de zoomer avec la molette de défilement ou avec un simple Ctrl + ou Ctrl-, mais c'est bien mieux que de naviguer dans les menus à chaque fois!