Bureau CDE Guide de l'administrateur

Définition des ressources de polices du Bureau

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.

Ressources définies par la boîte de dialogue Police

Lorsqu'une police est sélectionnée, les ressources ci-dessous sont écrites dans la propriété RESOURCE_MANAGER :

Ressources utilisées par la boîte de dialogue Police

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.


Remarque :

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).