Eclipse - changement de taille de police dans l'explorateur de projets/packages
J'utilise deux environnements, l'un avec un écran de 24 ", le second avec un écran de 15". J'ai besoin de la taille de police par défaut du contenu de l'explorateur de projets/packages dans le premier fichier, mais d'une taille de police réduite pour le second.
Y a-t-il un moyen de le changer dans eclipse? Je veux dire pas dans le système d'exploitation? Parce que cela influence toujours la taille de la police sur le bureau. Je parle de cette question.
S'il n'y a aucun moyen, décrivez comment vous le feriez indépendamment dans Linux - distribution.
J'ai un Mac Book Pro 17 pouces qui est fréquemment raccordé à un écran haute résolution de 27 pouces et la taille de la police dans le package Explorer était bien trop petite. Eclipse est censé respecter les paramètres du système d'exploitation, mais il s'avère que sous Mac OS X, le paramètre par défaut pour Eclipse consiste à utiliser de petites polices plutôt que les polices os standard.
sous Mac OS X, vous pouvez modifier le fichier Eclipse.ini et supprimer -Dorg.Eclipse.swt.internal.carbon.smallFonts restart Eclipse et vous constaterez que votre package Explorer est brillant avec des polices de taille raisonnable.
Vous devez utiliser l'option "Afficher le contenu" du Finder sur le fichier Eclipse.app pour rechercher le fichier Eclipse.ini. La ligne smallFonts peut apparaître plusieurs fois dans le fichier .ini.
Pour Mac OS X, téléchargez TinkerTool à partir de http://bresink.de/osx/TinkerTool.html , puis modifiez la taille de la police pour les "balises d'aide".
Cela a changé la taille de la police du paquet Explorer pour moi. :)
Je peux dire en toute confiance que vous ne pouvez pas modifier cette taille de police dans Eclipse, seul le choix dépend du système d'exploitation. Et sur Ubuntu, vous pouvez modifier la taille de la police.
Je travaille dans le développement Android. J'ai ADT installé qui vient quelle Eclipse. Windows sur indique que Eclipse est installé avec les composants suivants.
This product includes Eclipse Platform, JDT, CDT, EMF, GEF and WTP,
et Version: 4.2.1.v20130118-173121-9MF7GHYdG0B5kx4E_SkfZV-1mNjVATf67ZAb7 et BuildID: M20130204-1200
Avec la version ci-dessus, je suis en mesure de changer la police dans Eclipse. Le processus pour changer la police est très simple
1) Click on Window menu.
2) Click on Preferences sub menu.
3) Open General tab. (Left navigation)
4) Open Appearances sub tab. (Left navigation)
5) Click on Colors and Font option. (Left navigation)
6) Expand Basic option. (Right panel)
7) Click on Text Font (last option in Basic option)
8) Click on Edit Button.
9) Change the font which you want.
La capture d'écran de l'option ci-dessus ressemble à ...
Pour Linux: Découvrez ce lien, il m'a été très utile! J'utilise l'option préférée de l'auteur et fonctionne de manière transparente.
http://techtavern.wordpress.com/2008/09/24/smaller-font-sizes-for-Eclipse-on-linux/
Pour Eclipse Oxygen sur Sierra, supprimer - Dorg.Eclipse.swt.internal.carbon.smallFonts De Eclipse.app »Contenu» Eclipse »Eclipse.ini N'a pas changé quelque chose de visible