|
|
|
Publicité ' | |||||||||||||||||||||||
29/11/2012, 11h18
|
#1 |
|
Membre à l'essai
 Inscription : mars 2009 Messages : 42  |
Problème de police trop petite dans le menu sous Eclipse
Bonjour,
J'utilise Eclipse SDK 3.6.1, sur une machine Solaris que je lance sous Windows avec 'Xming Server'. J'aimerais augmenter la taille de la police du menu qui est trop petite mais je n'arrive pas à trouver où le configurer dans Eclipse. Quelqu'un aurait-il une idée? Merci d'avance. |
|
00
|
|
30/11/2012, 11h27
|
#2 |
     
  Laurent BarbareauIngénieur développement logiciels Inscription : novembre 2004 Messages : 2 987  |
Bonjour,
A priori ce n'est pas dans Eclipse que tu pourras changer ça mais plutôt au niveau de ton OS. En ajoutant des polices peut-être...
__________________
Responsable FAQ Eclipse | Maintiens et développe un des logiciels destinés aux rédacteurs sur developpez.com Pensez à cliquer sur le bouton  une fois votre problème solutionné, merci.
|
|
00
|
|
03/12/2012, 17h05
|
#3 |
|
Membre à l'essai
Inscription : mars 2009 Messages : 42 |
merci pour la réponse,
Je vais laisser les admin de la machine résoudre le problème vu que j'ai pas les accès pour rajouter les fonts manquantes. J'ai trouvé une autre solution pour éviter d'avoir trop mal au crane, utiliser un Eclipse local sous Windows qui a une taille de police correcte dans les menus. |
|
|
00
|
Copyright © 2000-2013 - www.developpez.com