SuivantPrec.Bas prec.BasNiv. sup.

Chapitre 4 Gestion des polices 

Les pilotes Dvidrv travaillent avec les types de fichiers de fontes suivants:
Extension ID Description
PXL 1001(mots sur 32 bits)
PXL 1002(mots sur 8 bits)
PK 89 (compact)
Il n'est pas obligatoire que les fichiers de fontes aient l'une de ces extensions car leur format est déterminé par leur contenu. Les fichiers de fontes PK avec un ID de 87 ne peuvent pas être utilisés!

Les formats de fichiers PXL sont obsolètes, vous devrez utiliser les fichiers PK au lieu des fichiers PXL.

De plus des librairies de fontes -- une particularité de Dvidrv -- peuvent être utilisées. Elles contiennent plusieurs fichiers de fontes pour économiser l'espace disque et le temps de traitement. En rassemblant les fichiers de fontes dans des librairies le nombre des fichiers dans les répertoires est réduit. Les inconvénients en sont la taille des librairies résultantes et le temps passé à la mise à jour des fontes. Pour plus d'information voyez la documentation de fontlib.


   4.1 Spécifier une taille de fonte (résolution)
   4.2 Format des fichiers de substitution de fonte
      4.2.1 Substitution avec et sans mode batch
      4.2.2 Lignes de règles
      4.2.3 Options dans les règles de substitution de fontes
      4.2.4 Faire correspondre les noms de fontes
      4.2.5 Utiliser les fontes résidantes d'une imprimante
      4.2.6 Exemple
   4.3 Règles de recherche des fontes
   4.4 Création automatique des fontes manquantes avec MFjob et METAFONT
   4.5 Utiliser les polices résidantes d'une imprimante

SuivantPrec.Bas prec.HautNiv. sup.