Comment puis-je configurer la taille de la police pour l'élément de l'arbre dans l'explorateur de paquets/la ligne d'horizon dans Eclipse ?
Quel est l'article de la police sous Préférences Je devrais changer ?
En 2010, Eclipse ne permettait pas de modifier la police utilisée pour l'explorateur de paquets et d'autres vues de ce type. Vous ne pouvez modifier la police que pour les vues de l'éditeur. Il s'agit d'une décision politique de la part des développeurs d'Eclipse (voir, par exemple, les bogues 49548 , 202091 ). (La police utilisée est celle définie par l'apparence générale du bureau que vous utilisez.
Sous Linux, il est possible de remplacer la police de caractères du système lorsque vous invoquez Eclipse. Un excellent article sur les différentes possibilités est ici à laquelle je dois cette réponse. Je vais répéter une suggestion pour la postérité. Créez un fichier nommé, disons, gtkrc-eclipse :
style "eclipse" {
font_name = "Sans Condensed 8"
}
class "GtkWidget" style "eclipse"Définissez ensuite une certaine variable d'environnement lors de l'invocation d'Eclipse :
$ GTK2_RC_FILES=gtkrc-eclipse eclipse
Cela ne fonctionnait pas dans Eclipse Luna ; dans Eclipse Juno et Aptana Studio 3, cela fonctionne pour moi...
La clause "there is now way" n'est plus applicable/correcte pour les versions modernes d'Eclipse. Cela a dû être une excellente réponse à un moment donné, mais ce site n'est pas adapté à l'évolution des questions-réponses pour les nouvelles versions d'un logiciel. Voir les autres réponses ci-dessous, elles varient un peu en fonction du système d'exploitation !
Merci beaucoup ! Je n'arrive pas à croire que personne sur Eclipse n'ait encore remarqué que dans Mountain Lion il est si difficile de voir les lettres en si petite taille...
Brillant ! En supprimant cette ligne, le texte dans les vues Projet/Package, etc. est beaucoup plus grand, ce qui est très utile sur des écrans de 2550 x 1600.
Pour information, dans STS sur OS X, cette configuration se trouve dans STS.app/Contents/MacOS/STS.ini
Sous Windows 7, vous pouvez affecter de nombreuses polices de l'interface graphique d'Eclipse, y compris l'explorateur de projet, en allant sur :
Panneau de configuration → Personnalisation → Couleur et aspect des fenêtres → Paramètres d'apparence avancés
Modifier la taille de la police pour "Message Box".
Bien sûr, cela perturbe l'apparence d'autres éléments de votre système d'exploitation, mais j'ai trouvé cela tolérable par rapport au fait de devoir regarder l'explorateur de projets...
Attention, certains plugins, comme EGit, peuvent outrepasser les paramètres de Windows et avoir leur propre système de polices dans Préférences > Couleurs et polices.
Je viens de trouver toutes ces réponses pour changer la taille de la police de l'arborescence dans Eclipse, j'en ai essayé plusieurs et j'ai finalement trouvé la classe CSS qui me semble plus à la mode :
Le thème que j'utilise inclut le fichier "e4_basestyle.css" dans le fichier eclipse/opt/plugins/platform/css . J'y ai ajouté
.MPart Tree {
font-size: 10;
}qui fonctionne très bien avec moi (Eclipse v4.3-SR2 (Kepler) sur Ubuntu).
Cela a également fonctionné pour moi avec MARS sur Linux Mint. A l'attention de les fichiers CSS sont maintenant situés dans le dossier du plugin thématique.
A bien fonctionné ici aussi. Mars 4.5.2 sur Windows 7. Emplacement exact du fichier <eclipsefolder>/plugins/org.eclipse.ui.themes_1.1.1.v20151026-1355/css/e4_basestyle.css
Sur mon Ubuntu 14.04, lorsque j'utilise le thème classic par défaut, le fichier dans eclipse/plugins/org.eclipse.ui.themes_x.x.x.vxxxxx/css à changer est e4_classic_winxp.css pour une raison quelconque. C'était déroutant, car il est loin d'être évident que je doive utiliser la version winxp, et non la win7, ou même la version par défaut. Finalement, cela a fonctionné.
Voici une option qui fonctionne sur ma machine Windows7, suggérée par Diego V : https://stackoverflow.com/a/15011440/1713920
Sur Juno, vous pouvez ajuster cette police par CSS.
Rechercher les fichiers dans eclipse \plugins\org.eclipse.platform_4.2.x.y\css pour votre feuille de style actuelle (probablement e4_default_win7.css), puis ajoutez simplement la règle suivante :
#org-eclipse-jdt-ui-PackageExplorer Tree, #org-eclipse-ui-navigator-ProjectExplorer Tree { font-size: 10px; /* <-- Desired font size */ }
Malheureusement, cela ne fonctionne pas correctement lorsque le projet est ajouté à un repo (ce qui signifie que les petites icônes de contrôle de version apparaissent à côté de chaque fichier). Je dis bien se comporter, et non pas fonctionner, car certains fichiers apparaissent avec la bonne police et d'autres non ! et ils continuent à changer toutes les deux secondes ! C'est bizarre.
@AbdalrahmanShatou : J'ai également expérimenté ce "clignotement", la police devient grande, la police devient petite, et vice-versa tout le temps, lorsque l'on clique sur les éléments. J'utilise Eclipse Mars 4.5.1. et - comme vous - j'utilise également un dépôt (.git). Je suppose que c'est le déclencheur.
Vous devez également modifier la police de caractères du plugin git pour qu'elle corresponde à ce paramètre. Windows-> Préférences->Général->Apparence->Couleurs et polices Changez la police dans 2 entrées git à 12 également - Ignored Resource (Font) - Uncommitted Change Font Puis redémarrez eclipse.
Prograide est une communauté de développeurs qui cherche à élargir la connaissance de la programmation au-delà de l'anglais.
Pour cela nous avons les plus grands doutes résolus en français et vous pouvez aussi poser vos propres questions ou résoudre celles des autres.
0 votes
Utilisation du plugin DevStyle : stackoverflow.com/a/64340785/5626568