Raccourci clavier pour changer la taille de la police dans Eclipse?
Il est relativement simple de modifier la taille des polices dans Eclipse par le biais de préférences (et d'y avoir répondu plusieurs fois dans ce forum).
Cependant, je voudrais changer rapidement la taille de la police (par exemple, avec Ctrl++ et Ctrl+- comme dans le terminal Linux ou Ctrl+mouse wheel dans les applications MS Office). Y at-il un moyen de faire cela dans Eclipse?
Eclipse Neon (4.6)
Agrandir
Ctrl++
ou
Ctrl+=
Dézoomer
Ctrl+-
Cette fonctionnalité est décrite ici :
Dans les éditeurs de texte, vous pouvez maintenant utiliser Zoom avant (Ctrl++ ou Ctrl+=) et Zoom arrière (Ctrl+-) commandes pour augmenter et diminuer la taille de la police. Comme pour une modification de la page de préférences Général> Apparence> Couleurs et polices, les commandes modifient de manière persistante 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 ne se limite pas 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é 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.
Examinez 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 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 la barre d'outils et des raccourcis clavier pour changer la taille de la police. Vous pouvez ensuite utiliser AutoHotkey pour effectuer un zoom Ctrl + molette molette .
Sous Aide | Installer le nouveau logiciel ... dans le menu, collez l'URL de mise à jour ( http://Eclipse-fonts.googlecode.com/svn/trunk/FontsUpdate/ ) dans le Fonctionne avec: zone de texte et appuyez sur Entrez . Développez l'arborescence et sélectionnez FontsFeature comme dans l'image suivante:
Terminez l’installation et redémarrez Eclipse. Ensuite, vous devriez voir les boutons A de la barre d’outils (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 clés d’Eclipse en premier).
Pour 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> Java Police du texte de l'éditeur> EDIT
Le voilà.
Bizarrement, travailler sur un fichier .js et Ctrl, Shift, += fonctionne pour zoomer (et Ctrl- fonctionne pour effectuer un zoom arrière, mais vous devez sélectionner 1 ou 2 après Ctrl-). Cela ne fonctionne que lorsque je suis dans le fichier js mais le zoom s'applique à tous mes onglets ouverts. Utiliser Eclipse Juno sur Ubuntu.
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 facilement redimensionner la police avec Ctrl + Shift + + et -, sans plugin ni liaison de clé spéciale.
Au moins dans l'éditeur Windows (cela ne fonctionne pas dans d'autres vues telles que la console, l'explorateur de projet, etc.).
J'utilise un plugin Eclipse (dans le marché Eclipse) https://marketplace.Eclipse.org/content/fontsize
Voici un moyen plus rapide que les menus multicouches sans recourir aux plug-ins:
Utilisez l'outil Accès rapide dans le coin supérieur gauche.
Tapez "police", puis, dans la liste déroulante, 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 l'a placé comme choix précédent tout en haut de la liste pour que je puisse simplement taper "font" en tapotant sur la touche Entrée et Boom !, je suis là.
Si vous souhaitez utiliser un raccourci clavier, Ctrl + 3 active l'outil Accès rapide. Mieux encore, cela affiche même automatiquement une liste de vos choix précédents. Le dernier que vous avez choisi sera en haut, auquel cas un simple Ctrl + 3 suivi de enter vous y amènerait directement! Je l'utilise tout le temps pour l'agrandir au cours de longues sessions de dactylographie ou de lecture afin d'atténuer la fatigue visuelle, ou pour la 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!