Re: wmaker : taille des polices

["Jean-Luc Coulon (f5ibh)" <no-spam-jean-luc.coulon@wanadoo.fr>]

Le 22.05.2004 16:21:44, NoSpam a écrit :
> Le ven 21/05/2004 à 21:10, Jean-Luc Coulon (f5ibh) a écrit :

[ .... ]
> Salut,
> Pour changer les thêmes gtk1/2 sous un autre gestionnaires de  
> fenêtres
> que gnome (j'utilises aussi wmaker), j'utilise les deux applis
> suivantes
> switch (gtk1) et switch2 (gtk2) (paquet debian : gtk-theme-switch),
> dans
> ces deux applis une case à cocher correspond aux choix de la police
> des
> menus (je crois même que ce soit plus général). J'utilise aussi gnome
> de
> temps en temps et j'ai remarqué une différence de taille des polices
> dans les applis quand on passe de gnome à windowmaker, que ce soit en
> changeant les thêmes avec gnome-control-center ou avec switch/2, je  
> ne
> suis pas sur d'avoir été très clair.
> Si ca peut t'aider, bonne journée.

Je viens de faire les essais suivants :

switch2 change les icônes de galeon et la couleur de la barre en accord  
avec le thème gtk2 choisi. Il ne change pas la taille des polices.

gnome-controle-center change la taille des caractères de l'application  
(menus, barre de tâches, ..) dès que l'on clique sur "polices" sans  
préciser quoi que ce soit ; il prend les valeurs précédemeent définies.

La taille des polices dans les pages web ou dans les mails peut être  
changée par les paramètres de l'application (balsa et galeon dan monn  
cas) mais à une taille donnée, gnome/metacity et windowmaker ne donne  
pas la même taille des caracxtères affichés.

D'autres pistes ?

--
		- Jean-Luc
> > --
> > - Jean-Luc
> >