Re: Fontes

Frederic Mantegazza <mantegazza@???> writes:

> On Monday 17 March 2003 10:09, Christian Marillat wrote:

> Frederic Mantegazza <mantegazza@???> writes:

> > Y a-t-il des fontes specifiques pour Gnome ? Des parametrages generaux
> > pour les applis utilisant les librairies Gnome ?
>
> Bien sur, cela dépend de ton thème. Voir dans le centre de contrôle de
> Gnome.

> Je n'utilise pas Gnome comme Windows Manager, mais KDE...

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

Pour simplifier dans ~/.gtkrc.mine tu mets :

,----
|
| style "user-font" {
|
| fontset = "-adobe-helvetica-medium-r-normal-*-*-140-*-*-p-*-iso8859-15"
|
| }
|
`----

Bien sur tu remplaces le nom de la police par ce que tu veux. Le
changement est prit en compte immédiatement.

Christian