Les applications dont tu parles ont toutes l'air d'être des applis gtk 1.
Le fichier permettant de configurer correctement les polices est le fichier qui sert à configurer le thème gtk.
Celui par défaut pour tout le système est /etc/gtk/gtkrc, qui est chez moi un lien symbolique vers /etc/gtk/gtkrc.iso-8859-15
et chaque utilisateur peut définir le sien avec le fichier ~/.gtkrc
Qui précisent le type de police utilisée. Je pense qu'il y a un programme pour les modifier de manière intuitive, mais je ne le connais pas.
Tu peux utiliser gtkfontsel pour choisir la ligne font="".
Enfin, si cela ne fonctionne pas, peut-être n'as-tu pas installé de polices correctes...
# Re: bug de gtk ?
Posté par jm trivial (site web personnel) . En réponse au journal bug de gtk ?. Évalué à 1.
Le fichier permettant de configurer correctement les polices est le fichier qui sert à configurer le thème gtk.
Celui par défaut pour tout le système est /etc/gtk/gtkrc, qui est chez moi un lien symbolique vers /etc/gtk/gtkrc.iso-8859-15
et chaque utilisateur peut définir le sien avec le fichier ~/.gtkrc
Dans le mien, on peut y voir les lignes:
style "user-font"
{
font="-*-*-medium-r-normal--14-*-*-*-*-*-iso8859-15"
}
widget_class "*" style "user-font"
Qui précisent le type de police utilisée. Je pense qu'il y a un programme pour les modifier de manière intuitive, mais je ne le connais pas.
Tu peux utiliser gtkfontsel pour choisir la ligne font="".
Enfin, si cela ne fonctionne pas, peut-être n'as-tu pas installé de polices correctes...