web-dev-qa-db-fra.com

Eclipse IDE: Comment zoomer sur du texte?

Je souhaite le même comportement que Firefox, lorsque vous utilisez le bouton de défilement de la souris pour effectuer un zoom avant ou arrière sur la vue actuelle. Y at-il quelque chose comme ça pour Eclipse?

141
Yossale

Il y a un projet d'un gars appelé 'tarlog' qui a créé un plugin pour Eclipse sur ce site de code Google: http://code.google.com/p/tarlog-plugins/downloads/detail?name=tarlog .Eclipse.plugins_1.4.2.jar & can = 2 & q =

Il a quelques autres fonctionnalités pour Eclipse, parmi lesquelles Ctrl++ et Ctrl+- pour changer la taille de la police, c'est génial.

99

Trop tard, mais cela pourrait être utile:

Allez au menu Fenêtre> Préférences> Général> Apparence> Couleurs et polices

puis accédez à Java> Java Police du texte de l'éditeur> Modifier

65
Mifmif

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:

Eclipse extension installation screen capture

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

Eclipse screen capture with the font size toolbar buttons circled

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
64
Naveed Ahmad

À partir de la compilation 4.6/Neon de ce soir, la plate-forme Eclipse inclut un moyen d’augmenter/réduire la taille de la police des éditeurs de texte à l’aide de Ctrl + et Ctrl - (sous Windows ou Linux, Cmd = et Cmd - sur Mac OS X): https://www.Eclipse.org/Eclipse/news/4.6/M4/#text-zoom-commands . L'implémentation est livrée avec tout produit utilisant une version récente de la plate-forme et est plus fiable que celle des plug-ins alternatifs mentionnés ci-dessus. Il sera plus largement disponible dans quelques semaines, lorsque les packages IDE de Neon M4 seront disponibles, et fera partie de la version publique de Neon en juin 2016.

31
Mickael

J'ai répondu ici. Comment changer la taille de police dans Eclipse pour les éditeurs de texte Java?

Pour Eclipse Neon

Pour augmenter Ctrl +

Pour réduire Ctrl - enter image description here

16
ChandraBhan Singh

Pour zoomer sur Eclipse, vous pouvez utiliser: CTRLSHIFT+ OR - =

11
Wozniak

Selon les modifications récentes, vous pouvez utiliser: (1) Ctrl/Shift/(+) pour effectuer un zoom avant (2) Ctrl/Shift/(-) pour un zoom arrière

9
navis1692

Comme mentionné dans une autre réponse, ce plugin

http://code.google.com/p/tarlog-plugins/downloads/detail?name=tarlog.Eclipse.plugins_1.4.2.jar&can=2&q=

fait Ctrl- + et Ctrl-- zoom avant et arrière. Sur MacOS, ce serait ⌘ + et ⌘-.

Mais au moins sur MacOS Lion et Eclipse Helios,-fonctionnait mais pas ⌘ + - aucune combinaison de touches (et j'en ai essayé plusieurs, notamment ⌘ = et les variantes avec Ctrl et Shift) augmenterait la taille de la police. Cependant, en modifiant les raccourcis clavier, j'ai pu le faire fonctionner.

Préférences => Général => Touches

Les commandes "Zoom arrière" et "Diminuer la police" étaient déjà définies sur ⌘- (et cela semblait fonctionner), aussi je règle "Zoom avant" et "Augmenter la police" sur = (l'une d'elles était celle et l'autre ⌘ +), et cela a fonctionné.

6
AmigoNico

Voici un moyen intéressant d’assurer un zoom avant et arrière avec la molette de la souris dans l’éditeur Eclipse. Celui-ci s'inspire de la solution ci-dessus de Naveed ahmad qui ne fonctionnait pas pour moi.

1) Téléchargez d’abord Autohotkey à partir de http://www.autohotkey.com/ et installez-le, puis lancez-le.

2) Ensuite, téléchargez les plugins tarlog depuis https://code.google.com/p/tarlog-plugins/downloads/list

3) Placez le fichier .jar téléchargé dans le dossier Eclipse/plugins.

4) Redémarrez Eclipse.

5) Ajoutez le script Autohotkey suivant, sauvegardez-le puis rechargez-le (cliquez avec le bouton droit sur l'icône Autohotkey dans la barre des tâches et cliquez sur "Recharger ce script")

; Ctrl + MouseWheel zooming in Eclipse Editor.
; Requires Tarlog plugins (https://code.google.com/p/tarlog-plugins/).
#IfWinActive ahk_class SWT_Window0
^WheelUp:: Send ^{NumpadAdd}
^WheelDown:: Send ^{NumpadSub}
#IfWinActive

Et vous devriez avoir fini. Vous pouvez maintenant zoomer ou dézoomer avec ctrl + molette souris et ctrl + molette. Le seul inconvénient est qu'Autohotkey doit être en cours d'exécution pour que cette solution fonctionne. Assurez-vous qu'elle démarre sous Windows ou qu'elle s'exécute juste avant de lancer Eclipse. Fonctionne très bien dans Eclipse Kepler et Luna.

3
Zek101

allez dans Eclipse> Préférences> Général> Apparence> Couleur et polices> Basiques> Police de texte

Un problème de police résoudra je suppose. Je n'ai pas besoin d'un plugin pour cela.

2
Yiğit Taş

Sur Mac, vous pouvez le faire. Appuyez sur les touches 'Commande' et '+' pour effectuer un zoom avant. Appuyez sur les touches 'Commande' et '-' pour effectuer un zoom arrière.

1
Rahul Kumar

Encore plus fiable que @mifmif:

Allez au menu Fenêtre> Préférences> Général> Apparence> Couleurs et polices

puis allez à Basic.

Cette section contient environ 5 polices différentes, qui contiennent toutes une taille. Si vous accédez à un élément d'une autre section (comme Java> Java police de texte de l'éditeur comme suggéré par @mifmif), les boutons Éditer par défaut et Aller à par défaut seront activés. En cliquant sur ce dernier, vous accédez à l'élément correspondant dans la section Basique. En cliquant sur l'ancien vous permet de modifier cet élément directement.

La modification des éléments de police de base gérera non seulement le texte Java, mais à peu près tout le texte d'Eclipse qui peut être redimensionné, pour autant que je sache.

1
John Chesshir

La fontsupdate de googlecode ne fonctionne plus malheureusement. Vous pouvez cependant simplement télécharger le code depuis github:

https://github.com/gkorland/Eclipse-Fonts

Téléchargez-le simplement au format .Zip et ajoutez-le dans Eclipse:

Ajout d'un plugin local

Ensuite, vous avez à nouveau les boutons familiers!

1
Arnout

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, mais c'est bien mieux que de naviguer dans les menus à chaque fois!

0
jamesc1101

Ce que je fais est d'utiliser la loupe Windows 10. Ce n’est pas la même chose que de zoomer sur Firefox, mais c’est très utile.

0
Chris King