IdentifiantMot de passe
Loading...
Mot de passe oublié ?Je m'inscris ! (gratuit)
Navigation

Inscrivez-vous gratuitement
pour pouvoir participer, suivre les réponses en temps réel, voter pour les messages, poser vos propres questions et recevoir la newsletter

Eclipse Discussion :

Problème de police trop petite dans le menu sous Eclipse


Sujet :

Eclipse

  1. #1
    Membre du Club
    Profil pro
    Inscrit en
    Mars 2009
    Messages
    43
    Détails du profil
    Informations personnelles :
    Localisation : France

    Informations forums :
    Inscription : Mars 2009
    Messages : 43
    Points : 42
    Points
    42
    Par défaut 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.
    Images attachées Images attachées  

  2. #2
    Rédacteur/Modérateur
    Avatar de Laurent.B
    Homme Profil pro
    Ingénieur développement logiciels
    Inscrit en
    Novembre 2004
    Messages
    3 468
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Âge : 50
    Localisation : France, Bouches du Rhône (Provence Alpes Côte d'Azur)

    Informations professionnelles :
    Activité : Ingénieur développement logiciels
    Secteur : High Tech - Éditeur de logiciels

    Informations forums :
    Inscription : Novembre 2004
    Messages : 3 468
    Points : 17 036
    Points
    17 036
    Par défaut
    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
    Gardons toujours à l'esprit que le forum constitue une base documentaire, dont l'utilité et la qualité dépendent du soin apporté à nos questions et nos réponses. Soyons polis, précis (dans le titre et dans le corps des questions), concis, constructifs et faisons de notre mieux pour respecter la langue française et sa grammaire. Merci pour nous (les modérateurs) mais aussi et surtout, merci pour vous.
    Problème solutionné => je vais au bas de la page et je clique sur le bouton (qui suite à mise à jour du forum, a légèrement changé d'aspect).

  3. #3
    Membre du Club
    Profil pro
    Inscrit en
    Mars 2009
    Messages
    43
    Détails du profil
    Informations personnelles :
    Localisation : France

    Informations forums :
    Inscription : Mars 2009
    Messages : 43
    Points : 42
    Points
    42
    Par défaut
    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.

+ Répondre à la discussion
Cette discussion est résolue.

Discussions similaires

  1. Problème de hauteur de lignes dans un menu
    Par jeantrucmuche dans le forum Balisage (X)HTML et validation W3C
    Réponses: 12
    Dernier message: 15/10/2009, 09h48
  2. [AC-2000] Problème de police de caractère dans les états
    Par woant dans le forum IHM
    Réponses: 5
    Dernier message: 03/09/2009, 20h58
  3. police trop petite Outlook Express
    Par looping dans le forum Outlook Express / Windows Mail
    Réponses: 1
    Dernier message: 30/10/2008, 16h35
  4. polices trop petites
    Par looping dans le forum Windows XP
    Réponses: 1
    Dernier message: 22/01/2008, 16h53
  5. Polices trop petites dans les applications X
    Par YéTeeh dans le forum Applications et environnements graphiques
    Réponses: 7
    Dernier message: 30/08/2005, 15h32

Partager

Partager
  • Envoyer la discussion sur Viadeo
  • Envoyer la discussion sur Twitter
  • Envoyer la discussion sur Google
  • Envoyer la discussion sur Facebook
  • Envoyer la discussion sur Digg
  • Envoyer la discussion sur Delicious
  • Envoyer la discussion sur MySpace
  • Envoyer la discussion sur Yahoo