VETSEL Patrice <[EMAIL PROTECTED]> writes: [...]
> Peut ętre cela va vous indiquer d'ou vient le problčme ...
Ben oui tu mélanges des applis GNOME 1 et GNOME 2, celles de GNOME 2 ont
la bonne taille pas celle de GNOME 1
Essaies de mettre dans ton ~/.gtkrc
style "default" {
font = "-adobe-helvetica-medium-r-normal-*-14-*-*-*-p-*-iso8859-15"
}
Tu changes le nom de la police par ce que tu veux.
logout/login obligatoire.
Christian
