Palettes de couleurs

Une palette se compose d'un ensemble de jeux de couleurs. Les jeux de couleurs de la palette en cours sont affichés dans la boîte de dialogue Couleur du Gestionnaire de configuration.

À chaque palette correspond un fichier. L'emplacement des fichiers de palettes est indiqué par la ressource paletteDirectories. Par défaut, la valeur de cette ressource est :

• palettes intégrées : /usr/dt/palettes ;

• palettes système : /etc/dt/palettes ;

• palettes personnelles : RépPersonnel/.dt/palettes.