Le Tue, 30 Nov 2004 22:40:15 +0100, Sylvain a écrit :
> Le Tue, Nov 30, 2004 at 09:50:43PM +0100, DaCoder ecrivait :
>
> [...]
>
>> >> je crois qu'il faut que tu télécharges le paquet
>> >> xfonts-100dpi-transcoded et xfonts-75dpi-transcoded
>> >> mais je ne suis vraiment pas sur. essaye quand même...
>>
>> ok tant pis, ne desespere pas, j'ai eu le même problème il y a quelques
>> temps, et j'ai réussi a le résoudre... le pb c que je ne sais plus
>> comment. bonne chance, si tu trouves dis moi comment t'as fait.
>> ++
>
> J'ai resolu ce probleme en créant dans mon home un fichier .gtkrc-mine
> avec comme contenu :
>
> style "gtk-default-iso-8859-1" {
> fontset = "-*-arial-medium-r-normal--12-*-*-*-*-*-iso8859-1,\
> -*-arial-medium-r-normal--12-*-*-*-*-*-iso8859-1,\
> -*-arial-medium-r-normal--12-*-*-*-*-*-iso8859-2,*-r-*"
> }
> class "GtkWidget" style "gtk-default-iso-8859-1"
>
>
> A personnaliser bien sur :)
>
> a+
> Sylvain
et il y aurait pas un moyen de configurer ça en passant par une interface
graphique ?
