Pages : 1
#1 Le 13/02/2007, à 18:26
- FreeME
[Résolu] GDM : Changer la taille de la police
Bonjour à tous,
J'aimerais savoir comment changer la taille de la police de GDM où on entre l'identifiant et le mot de passe?
Est-ce possible?
Merci 
!
Dernière modification par FreeME (Le 13/02/2007, à 19:42)
Plus tu pédales moins vite, moins tu avances plus vite...
Hors ligne
#2 Le 13/02/2007, à 19:23
- Achille
Re : [Résolu] GDM : Changer la taille de la police
sudo gedit /usr/share/gdm/themes/Human/Human.xml
il suffit de modifier la ligne 85
<normal color="#000000" font="Sans 12"/>
en remplaçant le 12 par la taille souhaitée.
Maintenant, si tu trouves que la taille des polices sous GDM est trop petite, c'est sans doute parce que ta résolution n'est pas adéquate. Tu ferais mieux d'aller dans le menu Système -> Administration -> Fenêtre de connexion -> Sécurité -> Configurer le serveur X... et sous commande d'avoir:
/usr/X11R6/bin/X -br -audit 0 -dpi 96
c'est-à-dire d'ajouter -dpi 96 pour avoir la bonne résolution.
Ensuite relance gdm avec la commande:
sudo killall -HUP gdm
Hors ligne
Pages : 1