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

162

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?

eclipse fonts font-size Doug
la source
J'ai cherché cela aussi, mais à ma connaissance, il n'existe pas de raccourci de ce type. La seule façon de changer la taille de la police est via les préférences.
Stephan
Connexes, mais malheureusement aussi sans réponse: stackoverflow.com/questions/790720/…
jakub.g
2
A propos de la molette CTRL +, il y a un bogue soumis à Eclipse mais je ne vois personne travailler dessus; à propos de CTRL ++, CTRL + - Je vois les entrées "Zoom avant" et "Zoom arrière" dans Eclipse Indigo Window > Preferences > General > Keys, assignées à CTRL + - et CTRL + =, mais je ne peux pas les faire fonctionner ...
jakub.g
3
Autre solution Windows -> Préférences -> Général -> Apparence -> Colore une police -> Éditeur de texte structuré -> Modifier. ce travail pour moi :)
RicardoBalda

Réponses:

58

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 .

ROMANIA_engineer
la source
7
Notez que vous devez utiliser les touches standard -et +du clavier, pas les touches du pavé numérique. Ctrl + Numpad_Subtract et Ctrl + Numpad_Add sont mappés pour réduire / développer par défaut.
kapex
1
Cela fonctionne mais est limitatif car il y a un changement important entre chaque taille de police dans le niveau de zoom de visualisation habituel. CTRL + ROUE sur les navigateurs donne 10% de changements, ce qui est plus agréable. Je suppose que c'est une autre idée pour la prochaine version d'Eclipse. . .
Tronc
Un bon pas en avant pour l'éclipse, mais semble trop zoomer ou dézoomer à mes yeux. Devrait abaisser le «saut» pour chaque zoom.
bertie
54

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.

Mohamed El-Beltagy
la source
5
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 que les polices éclipse semblent affecter uniquement le paramètre "Police de texte" plutôt que d'être conscient du paramètre de police utilisé dans la fenêtre actuelle. Si vous avez modifié les paramètres "Police de texte de l'éditeur Java" par rapport à la valeur par défaut (qui consiste simplement à utiliser les paramètres "Police de texte"), les polices d'éclipse ne fonctionneront pas. La solution consiste à sélectionner "Police de texte de l'éditeur Java" dans "Préférences / Général / Apparence / Couleurs et polices" et appuyez sur Réinitialiser.
AmigoNico
1
J'ai juste essayé ceci sur Kepler, et cela n'a pas semblé fonctionner. Mais tarlog 1.4.2 a fonctionné (dans dropins /).
AmigoNico
1
Fonctionne avec Luna, mais uniquement avec les boutons de menu, pas avec ctrl +/-
Cengiz
1
xkr47 a forké le plugin original sur github et l'a mis à jour vers une version fonctionnelle avec Eclipse Luna. L'URL de la version de travail est mise à jour. En ce qui concerne le ctrl +/-; assurez-vous d'utiliser les symboles «+» et «-» situés en haut du clavier. Ils ne fonctionnent pas avec +/- suivant trouvé sur le pavé numérique.
Mohamed El-Beltagy
3
@EngineerBetter Je ne sais pas pourquoi le lien n'est pas mis à jour. Mais de toute façon, la fourche est là: github.com/xkr47/Eclipse-Fonts
Mohamed El-Beltagy
50

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.

Marcel Valdez Orozco
la source
hey marcel pouvez-vous donner un lien ou une documentation autour de lui? J'ai besoin de plus d'informations sur ça.
RAS
6
Eh bien, à part ce post tarlogonjava.blogspot.com/2008/07/… sur le site Web du créateur, il n'y a pas grand-chose. Mais si vous vous demandez comment l'installer, copiez simplement le fichier dans votre répertoire eclipse / plugins / et redémarrez eclipse, vous devriez pouvoir faire ctrl ++ et ctrl + - pour changer la taille de la police alors
Marcel Valdez Orozco
1
@MarcelValdezOrozco, cela fonctionne pour moi dans la version 4.2.1 à partir du 15/01/13, donc je pense que cela fonctionne toujours avec de nouvelles versions.
studgeek
3
Ça devrait être Ctrl+ Shift+ +pour le zoom
ajdeguzman
1
Le nouvel emplacement de l'outil est github.com/tarlog/tarlog-plugins/releases et doc est à tarlogonjava.blogspot.com/search/label/tarlog-plugins
studgeek
28

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:

Capture d'écran d'installation de l'extension Eclipse

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).

Capture d'écran Eclipse avec les boutons de la barre d'outils de taille de police encerclés

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
Naveed Ahmad
la source
merci pour votre complément, espérons que votre commentaire aidera les autres utilisateurs de Luna.
Naveed Ahmad le
2
Merci Naveed d'avoir pris le temps de mettre le guide pour l'installation du plugin que j'ai indiqué il y a quelques années. Impressionnant.
Mohamed El-Beltagy
4
aider les autres est ma première priorité, stackoverflow m'a aidé dans toutes les situations, donc mon objectif est d'aider les autres. vous êtes toujours le bienvenu
Naveed Ahmad
1
J'utilise Luna 4.4.1. Je l'ai installé mais les boutons ne fonctionnent pas. J'ai lié les clés et les ai essayées mais je n'ai toujours pas fonctionné. J'écris ceci juste pour vous faire savoir que j'ai réussi à installer le plug-in de
tarlog
1
aussi j'ai dû changer le {=} en {+} pour que ça marche.
WVrock
15

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à.

pellox
la source
46
depuis qu'il écrit Il est relativement simple de changer la taille des polices dans Eclipse via les préférences, cette solution n'est explicitement pas demandée. -1!
eckes le
Je ne cherche pas non plus autant de raccourcis dans ce genre d'IDE. Sinon je préfère aller à vim :-)
peeyush
Malheureusement, l'éclipse n'a aucune fonctionnalité font sizepourPyDev
PersianGulf
10

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.

Hedeer
la source
Vous n'utilisez pas les plugins Aptana par hasard, n'est-ce pas?
Michael Piefel
4

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.).

Xsasan
la source
0

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!

jamesc1101
la source