A partir de la ligne de commande

Pour modifier les polices des menus à partir de la ligne de commande, entrez:

dtterm -xrm '*fontList: jeu_polices'

où jeu_polices est une spécification de jeu de polices. Vous pouvez indiquer une liste de descriptions de fonctions logiques X (XLFD), une forme XLFD simple ou un alias. Une spécification de jeu de polices est fonction de l'environnement local en vigueur.

Par exemple, pour utiliser une police plus grande, sauf dans les menus, entrez :

dtterm -xrm '*fontList:-dt-interface user-medium-r-normal-l*-*-*-*:'

Pour utiliser une police plus petite, sauf dans les menus, entrez :

dtterm -xrm '*fontList:-dt-interface user-medium-r-normal-s*-*-*-*:'

Les spécifications ci-dessus conviennent pour tous les environnements locaux.