Le 21.05.2004 23:13:54, Fran�ois TOURDE a �crit�:
Le 12559i�me jour apr�s Epoch,
Jean-Michel OLTRA �crivait:
> bonjour,
>
>
> Le vendredi 21 mai 2004, Jean-Luc Coulon (f5ibh) a �crit...
>
>
>> Je peux, bien s�r demander � augmenter la taille des caract�res
dans
>> les pages visit�es ou dans le contenu des messages depuis les
>> param�tres de ces logiciels mais �a ne change pas la taille des
>> caract�res de l'application proprement dite : texte des menus,
>> navigateur de fichier s'il y en a....
>
>> Un truc ?
>
> Si c'est du gtk, il y a le ~/.gtkrc je pense, mais pour ce qui est
de
> mettre dedans...
Perso, j'y ai mis des trucs dedans, mais �a marche pas top !!
En fait, j'ai modifi� mon .gtkrc.mine avec:
/------ .gtkrc.mine ------
| style "gtk-default-iso-8859-15" {
| fontset = "-*-helvetica-medium-r-normal--10-*-*-*-*-*-
iso8859-1,\
| -*-arial-medium-r-normal--10-*-*-*-*-*-iso8859-
1,\
| -*-helvetica-medium-r-normal--10-*-*-*-*-*-iso8859-
15,\
| -*-arial-medium-r-normal--10-*-*-*-*-*-iso8859-15,*-
r-*"
| }
| class "GtkWidget" style "gtk-default-iso-8859-15"
|
| style "user-font"
| {
| font="-adobe-helvetica-medium-r-normal-*-*-80-*-*-p-*-iso8859-9"
| }
| widget_class "*" style "user-font"
\------------------------
Mais je suis oblig� de lancer "gnome-control-<TAB>" � chaque d�but de
session, et de cliquer sur "Polices" pour que les polices soient
retaill�es aux bonnes valeurs.
J'ai fait la manip avec le m�me succ�s mitig�.
Sous gnome, les polices appartiennent au th�me. Lorsqu'on relance le
gnome-control-
center, il va rechercher les police qu'on a affect� au th�me en cours.
Et dans ce
th�me se trouvent plein de commandes gtk...
--
- Jean-Luc
