Fontconfig et les fontes de taille fixe

Fontconfig et les fontes de taille fixe

Pádraig Brady

Article paru dans le n°102 de la Gazette Linux de mai 2004.

Traduction française par Philippe Blayo .

Relecture de la traduction française par Joëlle Cornavin .

Article publié sous Open Publication License. La Linux Gazette n'est ni produite, ni sponsorisée, ni avalisée par notre hébergeur principal, SSC, Inc.


Je déteste les fontes lissées (« anticrenelées ») pour les applications à espacement fixe, c'est-à-dire les consoles en mode texte, les éditeurs de texte et autres. Pour moi, avoir une fonte bitmap de taille fixe est ce qu'il y a de mieux : le texte n'a pas besoin d'être d'une taille arbitraire et, par conséquent, se satisfait d'une représentation générée par l'utilisateur sans « flou » ajouté par l'ordinateur (ce qui aide beaucoup pour un texte dont on fait varier l'agrandissement).

De plus, un texte lissé est plus lent (je l'ai vérifié dans un terminal gnome en modifiant dynamiquement les fontes dans edit current profile pendant que tournait ce qui suit).



dd if=/dev/zero | od -Ax -tx1z -v

Pour arriver à nos fins, quelle fonte utiliser ? Un espacement constant ne suffit pas, car de telles fontes sont sujettes à redimensionnement et donc au lissage.



$ fc-list ":spacing=mono:scalable=true" family
Luxi Mono
Bitstream Vera Sans Mono
Courier 10 Pitch
Nimbus Mono L
Courier

Il faut spécifier scalable=false (ou de manière équivalente, antialias=false) :



$ fc-list ":spacing=mono:scalable=false" family pixelsize
console8x8       8
console8x16      16
Fixed            14,15,16,20,24
Gothi            12,14,16,18
LucidaTypewriter 8,10,12,14,18,19,24
Marumoji         14
MiscFixed        6,7,8,9,10,12,13,14,15,18,20

Ma favorite ci-dessus est MiscFixed 10. Où la spécifier dans le système ?

  1. Terminal gnome : Start -> Preferences -> Font -> Terminal Font

  2. X-Chat  : Paramètres -> Préférences... -> Interface -> Boîte de texte -> Police

  3. gvim  : Dans ~/.gvimrc, faites ce qui suit :

    
if has("gui_gtk2")informal
        set guifont=MiscFixed\ 10
    else
        set guifont=-misc-fixed-medium-r-normal--10-100-75-75-c-60-iso8859-1
    endif
    

Voici à quoi ressemble un terminal gnome (lors de l'édition de ce document dans vim) avec les deux types, fixe et échelonnable :