| Accueil de l'archive | Service proposé par Hervé AGNOUX |
From: "Herve AGNOUX" <hagnoux@mail.club-internet.fr>
To: java@u-strasbg.fr
Date sent: Wed, 25 Oct 2000 11:18:11 +0200
Subject: Font toto
Priority: normal
Send reply to: java@u-strasbg.fr
Bonjour,
Encore des problèmes de traitement d'erreur...
Si je fais Font f = new Font("toto", style, size), à ma grande
surprise il me renvoie le plus naturellement du monde une fonte en
bonne et due forme, qui s'appelle bien... "toto" !
Pire, si je fais
Toolkit.getDefaultToolkit().getFontMetrics(f).getWidths(), il a le
toupet de me renvoyer la largeur des caractères de ma fonte "toto",
qui évidemment, s'il faut le préciser, n'existe nulle part, et c'est
pareil avec la fonte zz, baba, croco... Je me demande d'où il la sort
cette largeur de caractères !
Bref, qu'est ce que c'est que ce cirque !? Merci le traitement
d'erreur en Java !... Comment faut-il faire pour vérifier si une font
existe sur le système ?
[jdk 1.1.8]
Merci.
--
Hervé AGNOUX hagnoux@mail.club-internet.fr
Faites vos sites avec des formulaires electroniques :
http://www.diaam.com
To: java@u-strasbg.fr Subject: Re: Font toto From: Rodrigo Reyes <rodrigor@in-fusio.com> Date sent: 25 Oct 2000 11:32:40 +0200 Send reply to: java@u-strasbg.fr "Herve AGNOUX" <hagnoux@mail.club-internet.fr> writes: > Bref, qu'est ce que c'est que ce cirque !? Merci le traitement > d'erreur en Java !... Comment faut-il faire pour vérifier si une font > existe sur le système ? [jdk 1.1.8] - java.awt.Toolkit.getFontList() - ou java.awt.GraphicsEnvironment.getAvailableFontFamilyNames() >=1.2 -- Rodrigo
Date sent: Wed, 25 Oct 2000 11:54:59 +0200
From: Guillaume Desnoix <guillaume-desnoix@memoire.com>
To: java@u-strasbg.fr
Subject: Re: Font toto
Send reply to: java@u-strasbg.fr
Herve AGNOUX:
> Si je fais Font f = new Font("toto", style, size), à ma grande
> surprise il me renvoie le plus naturellement du monde une fonte en
> bonne et due forme, qui s'appelle bien... "toto" !
Ben c'est plutot sympa non ?
> Pire, si je fais
> Toolkit.getDefaultToolkit().getFontMetrics(f).getWidths(), il a le
> toupet de me renvoyer la largeur des caractères de ma fonte "toto", qui
> évidemment, s'il faut le préciser, n'existe nulle part, et c'est pareil
> avec la fonte zz, baba, croco... Je me demande d'où il la sort cette
> largeur de caractères !
En fait, il utilise une font par defaut qu'on doit pouvoir definir dans le
fichier font.properties de la JVM. Essaye d'afficher ta fonte toto et il
est probable qu'elle ressemble a l'une des fontes Java (SansSerif, Serif,
Dialog ou Monospaced).
> Bref, qu'est ce que c'est que ce cirque !? Merci le traitement
> d'erreur en Java !... Comment faut-il faire pour vérifier si une font
> existe sur le système ?
String[] list=Toolkit.getDefaultToolKit().getFontList();
Guillaume
From: "Zeljko Velaja" <zvelaja@club-internet.fr>
To: <java@u-strasbg.fr>
Subject: Re: Font toto
Date sent: Wed, 25 Oct 2000 22:30:09 +0200
Send reply to: java@u-strasbg.fr
Je suis de ceux qui sont quelque peu exaspérés par l'hypersensibilité de
java aux erreurs ... J'apprécie donc d'autant plus le chois évident ici
d'une fonte par défaut en cas de fonte inexistante. Qui peut être sûr en
effet de la présence de tel ou tel type de fonte sur tout type de système
d'exploitation ?
----- Original Message -----
From: Herve AGNOUX <hagnoux@mail.club-internet.fr>
To: <java@u-strasbg.fr>
Sent: Wednesday, October 25, 2000 11:18 AM
Subject: Font toto
> Bonjour,
>
> Encore des problèmes de traitement d'erreur...
>
> Si je fais Font f = new Font("toto", style, size), à ma grande
> surprise il me renvoie le plus naturellement du monde une fonte en
> bonne et due forme, qui s'appelle bien... "toto" !
>
> Pire, si je fais
> Toolkit.getDefaultToolkit().getFontMetrics(f).getWidths(), il a le
> toupet de me renvoyer la largeur des caractères de ma fonte "toto", qui
> évidemment, s'il faut le préciser, n'existe nulle part, et c'est pareil
> avec la fonte zz, baba, croco... Je me demande d'où il la sort cette
> largeur de caractères !
>
> Bref, qu'est ce que c'est que ce cirque !? Merci le traitement
> d'erreur en Java !... Comment faut-il faire pour vérifier si une font
> existe sur le système ?
>
> [jdk 1.1.8]
>
> Merci.
>