Eclipse IDE: Comment zoomer sur du texte?

149

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

Yossale
la source

Réponses:

104

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 d'autres fonctionnalités pour eclipse, parmi lesquelles Ctrl+ +et Ctrl+ -pour changer la taille de la police, c'est génial.

Marcel Valdez Orozco
la source
3
Cela doit être ma réponse la moins technique, mais c'est celle avec le plus de votes positifs, lol
Marcel Valdez Orozco
7
Ctrl ++ et Ctrl + - fonctionne (en utilisant Eclipse 4.2.1 Win 7 64bit) Beau plugin, merci!
Crocodile
10
Super, merci pour le partage. Pour installer le plugin, tout ce que vous avez à faire dans Eclipse 3.7 est de copier le JAR dans / eclipse / dropins.
Marcel Valdez Orozco
7
En utilisant Eclipse Neon jalon 4 ou version ultérieure, les raccourcis Zoom avant / arrière sont fournis «prêts à l'emploi» par Eclipse Platform avec une implémentation fiable. Les raccourcis sont Ctrl + / Ctrl = et Ctrl- et les commandes sont accessibles dans le champ "Recherche rapide" à côté du sélecteur de perspective. Ce sont des raccourcis pour modifier la description de la police dans la page Préférences> Général> Couleurs et polices.
Mickael
2
Il est désormais une fonction officielle dans Neon: eclipse.org/eclipse/news/4.6/platform.php
gustavovelascoh
72

Trop tard mais cela pourrait être utile:

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

puis allez dans Java> Police du texte de l'éditeur Java> Modifier

Mifmif
la source
11
Merci de partager la seule option fiable à 100%!
jpaugh
1
C'est correct, pas besoin de plugin supplémentaire. Je me demande pourquoi cette réponse n'est pas au sommet de toutes les réponses!
anubhs le
64

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, vous devriez alors 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

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
Naveed Ahmad
la source
4
Je pense que cela devrait être la réponse. Celui choisi par l'OP ne fonctionne pas pour la plupart des versions d'éclipse.
Ambar
1
A parfaitement fonctionné! Merci pour le script AHK également, +1.
Aaronias
@Thupten vous modifierez les tailles de police de la manière suivante: Dans la barre d'outils éclipse, sélectionnez Fenêtre! Préférences Définissez la taille de la police (Général → Apparence → Couleurs et polices → Police de texte de l'éditeur Java). Enregistrez les préférences.
Naveed Ahmad
+1 pour les polices Eclipse mais la chose autohotkey est tellement inéligante ..! Vous n'arrivez pas à croire qu'Eclipse ne fonctionne pas encore nativement avec la molette de la souris?
jj_
31

À partir de la version nocturne de ce soir de 4.6 / Neon, la plate-forme Eclipse comprend un moyen d'augmenter / réduire la taille de la police sur les éditeurs de texte en utilisant 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 plugins alternatifs mentionnés ci-dessus. Il sera plus largement disponible dans quelques semaines, lorsque les packages IDE pour Neon M4 seront disponibles, et il fera partie de la sortie publique de Neon en juin 2016.

Mickael
la source
1
Je viens juste (04.07.2016) d'installer Eclipse Neon à partir du site officiel, mais Ctrl + et Ctrl- et Ctrl + molette de la souris ne fonctionnent pas. Dois-je l'autoriser quelque part dans les options?
Honza Zidek
Ctrl + Mousewheel n'est pas censé fonctionner. Il ne devrait y avoir rien pour activer le fonctionnement de Ctrl + / Ctrl-, donc c'est probablement un bogue (dans l'opération Zoom ou dans l'éditeur que vous utilisez actuellement). Veuillez le signaler à bugs.eclipse.org
Mickael
4
Les touches +/- du pavé numérique ne fonctionneraient pas pour moi, mais les touches +/- normales fonctionnaient.
jgoeders
@jgoeders: c'est intéressant. Pourriez-vous signaler cela à bugs.eclipse.org afin qu'il ait une chance d'être étudié?
Mickael
C'est la réponse de rêve! Merci, Neon.
Tronc
12

Pour zoomer sur Eclipse, vous pouvez utiliser: CTRL SHIFT + OU -

Wozniak
la source
11

Selon les modifications récentes, vous pouvez utiliser: (1) Ctrl / Shift / (+) pour Zoom-in (2) Ctrl / Shift / (-) pour Zoom-out

navis1692
la source
7

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, ⌘- a fonctionné mais pas ⌘ + - aucune combinaison de touches (et j'ai essayé un tas, y compris ⌘ = et des 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 => Clés

Les commandes "Zoom arrière" et "Diminuer la police" étaient déjà définies sur ⌘- (et cela semblait fonctionner), j'ai donc défini "Zoom avant" et "Augmenter la police" sur ⌘ = (l'un d'entre eux était cela et l'autre était ⌘ +), et cela a fonctionné.

AmigoNico
la source
2
Ce n'est pas un forum de discussion, ne postez pas de réponses "la réponse précédente a fonctionné pour moi". (De plus, le nom de la touche '⌘' est Commande , abrégé en "Cmd" dans les raccourcis clavier si vous ne voulez pas le copier-coller à partir d'un endroit comme fileformat.info/info/unicode/char/2318/index. htm. )
millimoose
4
Je vois: les réponses doivent être indépendantes, et la mienne ne l'a pas fait (je voulais vraiment juste ajouter un commentaire à la réponse de Marcel, mais je n'ai pas les privilèges nécessaires). J'ai essayé de le rendre autonome maintenant; merci de m'avoir appris la différence.
AmigoNico
C'est une erreur courante pour les nouveaux venus car ils ne sont pas autorisés à répondre avant de pouvoir commenter (c'est vraiment étrange). Et j'ajouterai votre astuce m'a aidé :).
studgeek
Je viens de télécharger ce plugin: comment l'exécuter / l'utiliser?
George Tomlinson
1
Malheureusement, je ne suis pas en mesure de faire fonctionner cela dans Indigo; J'ai essayé à la fois des plugins et des dropins, mais pas de chance.
AmigoNico
3

Voici un moyen sympa d'assurer un zoom avant et un zoom arrière avec la molette de défilement de la souris dans l'éditeur Eclipse. Celui-ci s'inspire de la solution ci-dessus de l'Ahmad à nef qui ne fonctionnait pas pour moi.

1) Téléchargez d'abord Autohotkey depuis http://www.autohotkey.com/ et installez-le, puis exécutez-le.

2) Ensuite, téléchargez tarlog-plugins 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, enregistrez-le puis rechargez-le (clic 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 effectuer un zoom avant ou un zoom arrière avec ctrl + molette vers le haut et ctrl + molette vers le bas. La seule mise en garde est qu'Autohotkey doit être en cours d'exécution pour que cette solution fonctionne, alors assurez-vous qu'elle démarre avec Windows ou exécutez-la juste avant de lancer Eclipse. Fonctionne très bien dans Eclipse Kepler et Luna.

Zek101
la source
3

allez dans Eclipse> Préférences> Général> Apparence> Couleur et polices> De base> Police du texte

Le problème de police sera résolu, je suppose. Je n'ai pas besoin d'un plugin pour cela.

Yiğit Taş
la source
1

La mise à jour des polices googlecode ne fonctionne malheureusement plus. 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:

Ajouter un plugin local

Ensuite, vous avez à nouveau les boutons familiers!

Arnout
la source
Ou vous pouvez utiliser l'url brute via la boîte de dialogue d'ajout de plug-in: raw.githubusercontent.com/gkorland/Eclipse-Fonts/master/…
phyatt
1

Sur Mac, vous pouvez faire Appuyez sur les boutons «Commande» et «+» pour effectuer un zoom avant. Appuyez sur les boutons «Commande» et «-» pour effectuer un zoom arrière.

Rahul Kumar
la source
1

Encore plus fiable que @mifmif:

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

puis passez à Basic.

Cette section contient environ 5 polices différentes, qui contiennent toutes une taille. Si vous accédez à un élément dans une autre section (comme Java> Police de texte de l'éditeur Java comme @mifmif suggéré), les boutons Modifier la valeur par défaut et Aller à la valeur par défaut seront activés. Cliquez sur ce dernier pour accéder à l'élément correspondant dans la section Basique. Cliquer sur le premier vous permet de modifier directement cet élément.

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

John Chesshir
la source
1

Juste en appuyant sur Ctrl + Maj + ' + ' ou ' - '.

Au moins, cela a fonctionné pour moi à la version Eclipse "2020-03".

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

jamesc1101
la source
J'aimerais savoir pourquoi cela a été rejeté. Si quelqu'un peut m'offrir des idées sur ce que j'ai mal fait, j'aimerais apprendre de mon erreur.
jamesc1101
0

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

Chris King
la source
-1

Le plugin tarlog, combiné à la suppression de -Dorg.eclipse.swt.internal.carbon.smallFonts de eclipse.ini, aide mes yeux fatigués sur MacOS Yosemite avec Eclipse Luna (4.4).

Problème: cela n'a pas fonctionné pour moi pour un fichier Python PyDev foo.py. Solution: ouvrez un fichier nommé foo.java - modifiez la taille de la police. Revenez à foo.py et voila !! - la taille de la police python correspond à la taille de la police java.

Jeff Taylor
la source