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

+ Répondre à la discussion

Eclipse Java

Discussion :

Une police plus grande.

Sujet :

Eclipse Java

Outils de la discussion
- Afficher une version imprimable
- S'abonner à cette discussion…
Affichage
- Choisir le mode linéaire
- Mode hybride
- Choisir le mode arborescent

Vue hybride

Message précédent

Message précédent

Message suivant

Message suivant

24/11/2006, 09h44 #1

JavaAcro

Membre éclairé

Administrateur systèmes et réseaux
Inscrit en
Juin 2004
Messages
534
Détails du profil
Informations personnelles :
Sexe :
Localisation : France, Paris (Île de France)

Informations professionnelles :
Activité : Administrateur systèmes et réseaux

Informations forums :
Inscription : Juin 2004
Messages : 534

Une police plus grande.

Bonjour,
Quelle manipulation faut-il faire pour agrandire la police(de l'éditeur et de la console) sous eclipse? merci.

Répondre avec citation 0 0
24/11/2006, 16h43 #2

MarneusCalgarXP

Membre Expert

Inscrit en
Juillet 2006
Messages
911
Détails du profil
Informations personnelles :
Âge : 43
Localisation : France, Nord (Nord Pas de Calais)

Informations forums :
Inscription : Juillet 2006
Messages : 911

Vas dans les préférences, élément "Général \ Apparence \ Couleurs et polices"

Répondre avec citation 0 0
25/11/2006, 09h35 #3

JavaAcro

Membre éclairé

Administrateur systèmes et réseaux
Inscrit en
Juin 2004
Messages
534
Détails du profil
Informations personnelles :
Sexe :
Localisation : France, Paris (Île de France)

Informations professionnelles :
Activité : Administrateur systèmes et réseaux

Informations forums :
Inscription : Juin 2004
Messages : 534

Bonjour,
Merci, ça marche!

Répondre avec citation 0 0

+ Répondre à la discussion

Cette discussion est résolue.

Tutoriels Eclipse

Outils, EDI & API Eclipse

« Discussion précédente | Discussion suivante »

Discussions similaires

[XP média center] Police plus grande
Par JavaAcro dans le forum Windows XP

Réponses: 4
Dernier message: 17/03/2007, 09h26
Console, avoir une police plus grande
Par JavaAcro dans le forum SUSE

Réponses: 7
Dernier message: 23/11/2006, 18h14
Cliquer sur une vignette pour obtenir une image plus grande dans Internet Explorer
Par denisfavre dans le forum Access

Réponses: 5
Dernier message: 29/07/2006, 00h35
Insérer une légende dans une image avec une police plus petite
Par Paulinho dans le forum Tableaux - Graphiques - Images - Flottants

Réponses: 3
Dernier message: 29/04/2006, 14h19
[JFrame] Création d'une fenetre plus grande que l'ecran
Par thetoctoc dans le forum Agents de placement/Fenêtres

Réponses: 2
Dernier message: 23/09/2004, 11h05

Partager

Partager