La boîte de dialogue Police du Gestionnaire de configuration permet de définir la taille de police (7 choix) du texte et des 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 pour les zones système telles que les barres de menus, les volets de menus, les plaquettes, 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 des 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ée 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 pour les sélections de la boîte de dialogue Police.
UserFont[1-7]
--Ressources (7 au maximum) affectant des polices spécifiques à UserFont pour les sélections de la boîte de dialogue Police.
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).