J'aimerais savoir comment augmenter la taille de la police pour Eclipse afin qu'il ajuste l'ensemble de l'interface graphique afin de ne pas paraître trop petit sur mon écran.
Pour NetBeans, le commutateur --font-size peut être défini dans netbeans.conf. Existe-t-il quelque chose de similaire pour Eclipse?
(Si c'est utile, je suis sur Snow Leopard.)
development
java
Michael Lange
la source
la source
/Applications/Eclipse.app/Contents/Eclipse/eclipse.ini
identique à celui commenté par @andrewz. En outre, le fichier .ini contient également deux lignes, que vous devez supprimer.Allez dans Préférences> Général> Apparence> Couleurs et polices, développez le dossier "Base", sélectionnez "Police du texte" et modifiez-le à la taille de votre choix.
Pour Eclipse Neon : Pour augmenter la combinaison de touches Ctrl + Pour réduire la combinaison de touches Ctrl - sur Mac, utilisez la touche de commande et non la touche de contrôle
la source
ctrl shift +
ça marche aussi, c’était le seul moyen pour moi de zoomer (éclipse 7.2)Pour autant que je sache, il n'y a aucun moyen d'augmenter le nombre de polices au niveau mondial. Dans les préférences d'Eclipse , accédez à Général> Apparence> Couleurs et polices.
La police de dialogue est la police utilisée dans les boîtes de dialogue, et la police de texte utilisée dans les éditeurs de texte, etc.
Je ne sais pas comment augmenter la police pour le reste de l'interface graphique, cependant.
la source
Solution pour l'oxygène Eclipse chez MacOS High Sierra (déc 2017)
Ouvrez le terminal et lancez les commandes:
Ajouter un style:
Redémarrez Eclipse pour appliquer les modifications.
la source
Pour Eclipse Luna: modifier
eclipse/plugins/org.eclipse.ui.themes_1.0.1.v20141126-1957/css/e4_default_gtk.css
et ajouter en fin de fichier:
Eclipse conservera la même police si vous changez d’espace de travail.
la source
/Applications/Eclipse.app/Contents/Eclipse/plugins/org.eclipse.ui.themes_1.1.300.v20161107-1827/css/e4_basestyle.css
et ça marche sur Sierra!Eclipse est installé sur une machine Linux. Il y a quelque temps, j'ai fait une mise à jour de Linux et les polices de l'ensemble du système ont été gâchées. Toutes les polices ont été agrandies. Donc, je suis allé partout redimensionner les polices pour chaque application.
Devine quoi?! Lors de la prochaine mise à jour de Linux, les polices sont revenues à la normale. Cependant, je devais revenir en arrière et annuler tous les redimensionnements de polices que j'avais précédemment effectués pour chaque application. Ainsi, lorsque le temps est venu de réinitialiser les polices dans Eclipse, je ne me souvenais plus exactement de ce que j'avais fait. Je suis allé à l'endroit suivant:
Peu importe ce que j'ai fait sur ce paramètre, la police est restée la même.
J'ai finalement compris quel était le problème. J'ai également redimensionné les polices à l'emplacement suivant:
Une fois ce paramètre modifié, les polices sur Eclipse sont revenues à la normale.
la source
REMARQUE: pour les utilisateurs de Google, cette modification n’a aucun effet sur les versions ultérieures d’El Capitan et de Mars pour MacOS / Eclipse. Consultez cette question connexe: Yosemite: Comment augmenter la taille de la police d’Eclipse au niveau mondial?
la source
Vous allez dans les couleurs et les polices puis allez dans la liste déroulante java et trouvez l'éditeur java et éditez la taille. Elle devrait fonctionner comme elle l'a été pour moi.
la source
eclipse sur Mac, pour la police dans la barre d’outils, vous devez aller dans les préférences système-> display-> resolution et changer la police système.
la source
fenêtre -> préférence -> général -> apparence -> couleurs et polices -> basique -> police du texte
la source
Menu: fenêtre -> éditeur -> zoom avant / arrière
la source