Calculer Girl
  1. Calculer Girl
  3. taille de la police de l’ecilpse vue de l’arbre dans Ubuntu
Intereting Posts
Unix – Trouver des patterns dans un fichier, les copier dans un autre fichier comment redirect toutes les pages vers la racine, sans affecter les fichiers css? Paramètres de script dans Bash Comment puis-je trouver la fonction de point d’entrée de mon fichier .exe? Ruby 2.2.0 ne parvient pas à se construire sur Ubuntu 14.04.1 LTS Crash dans QApplication / QThread sur RHEL / apache (__get_tls_addr renvoie 0) Différence entre libcurl et libsoup Planification dans l’onglet Cron pour un intervalle régulier Est-il possible d’intégrer Firebase Database / Authentication avec des paiements Ssortingpe? Comment convertir un nombre qui pourrait être variable de 0 à 10 chiffres dans un format de montant Unix KSH Alias ​​dans l’invite de commande Windows Raison des résultats disparates avec mdfind en utilisant le sous-processus Python Programmation Java multi-thread débutant: Différence de planification entre Windows et Mac RewriteRule htaccess pour toujours supprimer le même nom de barre oblique Détection de l’échec de la multidiffusion UDP

taille de la police de l’ecilpse vue de l’arbre dans Ubuntu

Comment puis-je modifier la taille de police de la vue arborescente dans la vue Package Explorer sur Eclipse Juno sur Ubuntu?

Sur Juno et les versions ultérieures, vous pouvez ajuster cette police par CSS.

Recherchez les fichiers dans eclipse/plugins/org.eclipse.platform_4.2.x.vy/css pour votre feuille de style actuelle (probablement e4_default_gtk.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 */ }

Astuce Pro: La prochaine fois que vous devez trouver l'identifiant CSS pour une partie de l'interface utilisateur, utilisez CSS Spy que vous pouvez ouvrir avec MAJ - ALT - F5 (après l'avoir installé).

FYI:

De Eclipse Luna (4.4)

On dirait que les fichiers css ne sont plus dans l’ancien dossier: 

 `eclipse/plugins/org.eclipse.platform_4.xxvy/css`,

ils sont déplacés dans le nouveau dossier:

eclipse/plugins/org.eclipse.ui.themes_x.xxvxxxxx/css

Et vous devez sélectionner un thème pour l’appliquer, dans le menu

[Windows]==>[Prefrence]==>[General]==>[Appearance]