URL: https://linuxfr.org/forums/linux-mandriva/posts/pb-de-fontes Title: PB de Fontes Authors: Fakir Date: 2005年01月18日T15:57:39+01:00 Tags: Score: 0 Sous WMaker toutes les appli ont des menus et des popups qui s'affichent avec une fonte trop importante à mon gout. Impossible à partir de WPrefs de modifier cet état. Je pensais pourtant que c'est à partir de cet outil que l'on pouvait modifier cet état. Soit je passe à côté soit c'est ailleurs. Je n'ai pas vu de fichiers chrome ou équivalent dans ~/GNUstep/ ni dans /usr/share/Windowmaker. Alors, où est ce ? Ayant le Gnome-Panel j'ai eu l'idée de faire un petit tour dans le Menu -> Systeme -> Configuration -> Gnome -> Polices La je modifie selon mes souhaits. Mais lorsque je me reloggue je reviens à l'ancienne configuration :-( Ce qui est étrange c'est qu'il suffise que je retourne sous l'outil de conf de Gnome par le meme chemin pour qu'avant meme que le popup de config de la Police ne s'affiche et que je valide quoique ce soit la taille de police s'affiche selon ma précedente sélection. Il en est de meme si je choisi un theme Gnome - en fait seul la propriété 'GtkTheme' est active sous WMaker (GtkTheme=SmoothGNOME). Il y a surement moyen d'indiquer à ma config de se rappeler de ce petit détail. Mais où ?