#1 Le 11/03/2009, à 21:40
- leloup146
[résolu] problème de police dans wmii
Bonjour, j'aimerai utiliser wmii comme wm mais la police dans beaucoup de logiciels (GTK apparemment) est minuscule et difficilement lisible (capture d'écran).
Si quelqu'un sait comment régler le problème et si ça n'influe pas sous gnome.
Dernière modification par leloup146 (Le 11/04/2009, à 11:25)
L'homme est un loup pour l'homme.
Hors ligne
#2 Le 17/03/2009, à 09:40
- thuban
Re : [résolu] problème de police dans wmii
essaie d'installer lxappearance, voir si cela te permet de changer la police...
suckless.org
websérie d'un copain
Profil libre.fm
Debian Sid avec dwm
Hors ligne
#3 Le 18/03/2009, à 18:53
- leloup146
Re : [résolu] problème de police dans wmii
Pas réussi à l'installer, je suis sous Gutsy et le dépot répond 404.
L'homme est un loup pour l'homme.
Hors ligne
#4 Le 11/04/2009, à 11:29
- leloup146
Re : [résolu] problème de police dans wmii
Le problème c'est résolu depuis ma migration a Hardy, la configuration du second écran et ma purge réinstallation de wmii.
L'homme est un loup pour l'homme.
Hors ligne
#5 Le 08/06/2009, à 17:10
- eol
Re : [résolu] problème de police dans wmii
Bonjour, j'ai eu le même souci à un moment,
on m'a conseillé d'ajouter
style "user-font" {
font_name = "Arial 12"
}
widget_class "*" style "user-font"
gtk-font-name="Arial 12"à mon .gtkrc-2.0, et ça a résolu le problème.
Hors ligne