Ainsi parlait Mikael Lambert <[EMAIL PROTECTED]> :
> Sylvain Sauvage wrote:
>
[...]
> debian et ça a marché dès que j'ai changé unix/:-1 pour 7100 ; sauf un
> problème de grandeur de caractères qui sont trop grands par défaut (je
> ne sais pas comment mieux l'exprimer, ex. dans mozilla les caractères
> des menus et des dialogues semblent êtres à env. 16 pts)
> Des idées sur comment les mettre à 12 pts ?
Dans /etc/X11/fs/config à la variable catalogue, met le chemin
/usr/lib/X11/fonts/75dpi/:unscaled avant le chemin
/usr/lib/X11/fonts/100dpi/:unscaled. Ainsi xfs prendra la police 75dpi
au lieu de la 100dpi.
--
If you steal from one author it's plagiarism; if you steal from
many it's research.
-- Wilson Mizner
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
