Re: taille de police

Page principale

Répondre à ce message
Auteur: Nicolas Rougnon-Glasson
Date:  
À: ML Guilde
Sujet: Re: taille de police
Frederic Mantegazza wrote:
> On Tuesday 25 March 2003 01:07, Nicolas Rougnon-Glasson wrote:
>
>
>>j'utilise depuis peu debian woody + windowmaker.
>>Certaines applis (mozilla, gaim, et certainement bien d'autres)
>>utilisent une taille de police trop grande (à mon goût) pour les barres
>>de menu, les menus, etc.
>>Et évidemment, je sais pas comment changer ça.
>>[...]
>>Et c'est précisément à ce moment là que je tombe à court d'idées.
>>Quelques suggestions ? mmh ?
>
>
> Je reposte la solution que j'avais donnee il y a quelques jours ;o)
>
> ------------------------------------------------------------------------
> Ca y est, j'ai trouve. Pour resumer, il faut creer le fichier ~/.gtkrc
> s'il n'existe pas, et y mettre :
>
> style "user-font" {
>     fontset = "-adobe-helvetica-medium-r-normal-*-12-*-*-*-p-*-iso8859-1"
> }
> widget_class "*" style "user-font"

>
> On peut aussi creer le fichier /etc/gtk/gtkrc et y mettre :
>
> style "gtk-default-iso-8859-15" {
>     fontset = "-*-helvetica-medium-r-normal--12-*-*-*-*-*-iso8859-1,\
>                -*-arial-medium-r-normal--12-*-*-*-*-*-iso8859-1,\
>                -*-helvetica-medium-r-normal--12-*-*-*-*-*-iso8859-15,\
>                -*-arial-medium-r-normal--12-*-*-*-*-*-iso8859-15,*-r-*"
> }
> class "GtkWidget" style "gtk-default-iso-8859-15"

>
> Parait que c'est mieux, dixit la doc (relative a l'euro) :
>
> http://www.debian.org/doc/manuals/debian-euro-support/ch-applications.fr.html#s4.2.7
>
> Mais j'utilise la premiere solution...
> ---------------------------------------------------------------------------
>


Rhaaaaa lovely...
j'ai pas encore essayé, mais je suis sûr que c'est bien ça. Je cherchais
désesperément des infos sur gtk dans les packages debian liés à gtk,
mais je trouvais pas...
Désolé de t'avoir fait te répéter, et merci !

A+
N.