Le 12560i�me jour apr�s Epoch,
Jean-Michel OLTRA �crivait:
> bonjour,
>
>
> Le vendredi 21 mai 2004, Fran�ois TOURDE a �crit...
>
>
>> | 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"
>
>> Je fais la bise � celui qui me dit pourquoi c'est pas pris au
>> d�marrage. A condition que ce soit une belle blonde � forte... hum,
>> bon, je sors...
>
> Tu as fait un strace pour voir si il �tait lu ?
J'avoue que je ne sais pas sur quoi faire le strace. Sur l'appli
elle-m�me? J'ai des doutes. Les fontes changent quasiment en temps
r�el quand je lance gnome-control-center, donc je pense que le strace
ne me sera pas d'une grande utilit�.
> J'y crois pas trop mais tu pourrais tenter
> widget "Gtk*" style "user-font"
> ou bien essayer de modifier directement par type de widget: GtkButton,
> Gtk*Menu* ...
Je vais �viter de faire �a pour le moment, je ne maitrise pas assez
ces notions barbares ;)
Mais si je craque, alors promis, je vais essayer.
--
May you die in bed at 95, shot by a jealous spouse.
