Re: Fontes

On Monday 17 March 2003 10:50, Christian Marillat wrote:

> Ça ne fait rien, toute les applis Gnome utilisent un thème et ce
> thème défini une police. Et puis Gnome n'est pas un window manager.

Ok.

> Pour simplifier dans ~/.gtkrc.mine tu mets :
>
> ,----
>
> | style "user-font" {
> |
> | fontset =
> | "-adobe-helvetica-medium-r-normal-*-*-140-*-*-p-*-iso8859-15"
> |
> | }
>
> `----

Ca ne change rien :o(
Ou est configuree la police si ce fichier n'est pas defini ? Je vais deja
aller voir comment c'est fait, et eventuellement tester un changement a ce
niveau...

--
Frederic