web-dev-qa-db-fra.com

Je ne peux pas changer la taille de la police du paquet Explorer dans Eclipse

J'essaie de changer la taille de la police du paquet Explorer dans Eclipse à partir du menu Fenêtre → Préférences → Général → Apparence , et je ne parviens pas à changer la taille de la police. Comment puis je faire ça? J'utilise Eclipse v4.2 (Juno) sur Windows 7.

csseclipsee4
26
Mohammed Subhi Sheikh Quroush

Eclipse utilise des widgets Windows natifs et leurs paramètres ne peuvent être modifiés qu'à partir de l'onglet Propriétés d'affichage/Paramètres/Avancé/Propriétés générales. Là, vous pouvez changer le DPI de votre écran pour modifier la taille des polices.

0
Eugene Kuleshov

Sur Juno et plus, vous pouvez ajuster cette police par CSS.

Recherchez 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 */
}

Mise à jour: stylesheets sont dans le dossier Eclipse/plugins/org.Eclipse.ui.themes_x.x.x.vxxxxx/css depuis Eclipse 4.4 (Luna).

27
Diego V

FYI:

De Eclipse v4.4 (Luna):

Il semble que les fichiers CSS ne soient plus dans l'ancien dossier:

`Eclipse/plugins/org.Eclipse.platform_4.x.x.vy/css`,

Ils sont déplacés vers le nouveau dossier:

Eclipse/plugins/org.Eclipse.ui.themes_x.x.x.vxxxxx/css

Et vous devez sélectionner un thème pour l'appliquer, dans le menu Windows → Préférences → Général → Apparence .

19
Li Ying

Cela a fonctionné pour moi:

.MPart Tree{
  font-size: 8;
}
16
Paul Bormans

Ce sont mes paramètres et une capture d'écran de l'EDI.

#org-Eclipse-jdt-ui-PackageExplorer Tree,
#org-Eclipse-ui-navigator-ProjectExplorer Tree,
#org-Eclipse-ui-views-ContentOutline Tree,
#PerspectiveSwitcher ToolBar {
  font-size: 8px;
}

.MPartStack {
  font-size: 8;
  swt-simple: false;
  swt-mru-visible: false;
}

Eclipse screenshot

7
FuePi

Affichez le code de la feuille de code CSS en Eclipse/plugins/org.Eclipse.platform_4.2.X.vY/css modifiez-le (indiquez-le) (provavelmente e4_default_win7.css).

Adicione algo assim:

    #org-Eclipse-ui-jdt-PackageExplorer {
       font-size: 20pt;
    }

voir plus de détails sur Nice et la grande (mes mes deux dernières paroles).

Ajouter au panier Voir les précisions sur les commandes CSS avec l'interface par l'interface utilisateur, utilisez CSS Spy le choix de code pour ouvrir le documentSHIFT-ALT-F5(depois de ter instalado).

5
Veger

Sur Ubuntu 14.04 (Trusty Tahr) c’était le meilleur choix pour moi:

.MPart Tree{
  font-size: 10;
}
2
harryssuperman

Grâce à la réponse de Veger, j'ai réussi à changer la police de mon PHP Explorer dans PHP Perspective (avec PDT installé). Le code CSS suivant,

#org-Eclipse-php-ui-Explorer Tree {
   font-family: Consolas;
   font-size: 21px;
}

sont ajoutés dans mon fichier "Eclipse-4.3\plugins\org.Eclipse.platform_4.3.1.v20130911-1000\css\e4_default_win7.css".

Vous pouvez choisir un fichier CSS différent, en fonction du thème choisi dans Préférences → Général → Apparence : "Thème" dans la liste déroulante).

0
jinhr

Dans Eclipse 4.7.x, les fichiers CSS se trouvent sous Eclipse/plugins/org.Eclipse.ui.themes_1.2.1.v20170809-1435/css /

Dans mon cas, j'utilise le thème dark pour OSX. J'ai donc ouvert le fichier e4-dark_mac.css et ajouté la taille de la police:

CTabFolder Tree, CTabFolder Canvas {
    background-color: #2F2F2F;
    color: #CCC;
    font-size: 13pt; // new 
}
0
DevCat