La boîte de dialogue Police du Gestionnaire de configuration permet de définir la taille de police (7 choix) pour des éléments tels que le texte saisi et les libellés. Elle permet également d'ajouter ou de supprimer des groupes de polices.
Lorsqu'une police est sélectionnée, les ressources ci-dessous sont écrites dans la propriété RESOURCE_MANAGER :
SystemFont est utilisée par les zones système,telles que les barres de menus, les boutons de fonctions, les boutons de bascule et les libellés. La ressource suivante est définie par SystemFont :
*FontList
: affichage dans les zones système des clients du bureau et d'autres clients créés à l'aide des outils de développement OSF/Motif.
UserFont s'applique au texte saisi dans les fenêtres. Les ressources suivantes sont définies par UserFont :
*Font
: prend en charge les versions précédentes des applications X.
*FontSet
: définition initiale.
*XmText*FontList
: zones d'entrées de texte
*XmTextField*FontList
: zones d'entrée de texte
Les polices utilisées pour les sélections de cette boîte de dialogue sont définies dans le fichier de ressources /usr/dt/app-defaults/Dtstyle ; sept tailles au maximum peuvent être spécifiées.
NumFonts
: nombre de tailles de polices disponibles dans la boîte de dialogue Police.
SystemFont[1-7]
: ressources (7 au maximum) affectant des polices spécifiques à SystemFont
UserFont[1-7]
: ressources (7 au maximum) affectant des polices spécifiques à UserFont
les polices par défaut associées à ces ressources ont été sélectionnées pour leur lisibilité sur divers écrans. Pour affecter une police spécifique à une application, utilisez une ressource de police d'application au lieu de modifier les polices du bureau.
Pour plus de détails sur les polices d'applications, consultez les pages de manuel DtStdAppFontNames(5) et DtStdInterfaceFontNames(5).