Philippe Monroux wrote:
> 
> Le mer 13 f�v 2002 � 02 h 58 min, Nicolas SABOURET a �crit :
> 
> > Pour les fontes, penses-tu qu'il faudrait proposer � l'utilisateur de
> > choisir une taille ? A priori, nous installons la fonte en -13 et rien
> > n'emp�che l'utilisateur de corriger la ligne si cette valeur ne lui
> > convient pas.
> 
> A propos de fontes depuis que j'ai :
> 
> ! ISO-8859-15 (Latin-9) fonts for XTerm
> XTerm*Font: -misc-fixed-medium-r-normal--13-*-*-*-*-*-iso8859-15
> XTerm*Font2: -misc-fixed-medium-r-normal--8-*-*-*-*-*-iso8859-15
> XTerm*Font3: -misc-fixed-medium-r-normal--10-*-*-*-*-*-iso8859-15
> XTerm*Font4: -misc-fixed-medium-r-normal--13-*-*-*-*-*-iso8859-15
> XTerm*Font5: -misc-fixed-medium-r-normal--18-*-*-*-*-*-iso8859-15
> XTerm*Font6: -misc-fixed-medium-r-normal--20-*-*-*-*-*-iso8859-15
> ! ISO-8859-15 (Latin-9) fonts for Rxvt
> Rxvt*font: -misc-fixed-medium-r-normal--13-*-*-*-*-*-iso8859-15
> Rxvt*font2: -misc-fixed-medium-r-normal--8-*-*-*-*-*-iso8859-15
> Rxvt*font3: -misc-fixed-medium-r-normal--10-*-*-*-*-*-iso8859-15
> Rxvt*font4: -misc-fixed-medium-r-normal--13-*-*-*-*-*-iso8859-15
> Rxvt*font5: -misc-fixed-medium-r-normal--18-*-*-*-*-*-iso8859-15
> Rxvt*font6: -misc-fixed-medium-r-normal--20-*-*-*-*-*-iso8859-15
> ! ISO-8859-15 fonts for many softwares
> *font:-*-*-medium-r-normal--14-*-*-*-c-*-iso8859-15
> 
> dans ~/.Xresources  j'ai de petites polices ds xterm et � d'autres
> endroits c'est pas terrible...Peut-on y rem�dier ?

Utilise xfontsel pour voir en avant premi�re une police. Ensuite, tu
choisis celle qui te plait, en taille et en allure g�n�rale.

Pour ton probl�me, c'est juste que set-language-env a mis une taille 13
dans xterm alors que tu utilises (sur mes conseils) une taille 14 dans
le reste des applis. D'o� la diff�rence de taille.


Nico.

-- 
Nicolas SABOURET
LIMSI-CNRS, BP133, 91403 Orsay, France
http://www.limsi.fr/Individu/nico

Répondre à