"G . Demaille" wrote:
>
> quelqu'un sait-il comment changer la fonte de GDM (login graphique de
> Gnome)?
gdm est une application GTK+, de plus le gestionnaire de connexion
(greeter) fonctionne sous le compte de l'utilisateur gdm.
Donc, pour changer le look de gdm, il suffit de changer le th�me gtk par
d�faut pour l'utilisateur gdm.
Copie le fichier joint gtkrc dans le r�pertoire personnnel de
l'utilisateur gdm, normalement /var/lib/gdm, en le renommant en .gtkrc.
Modifie dedans la police que tu veux utiliser.
Voil�
--
Christophe Merlet (RedFox)
# -- THEME AUTO-WRITTEN DO NOT EDIT
include "/usr/share/themes/Default/gtk/gtkrc"
style "user-font"
{
font="-b&h-lucida-medium-r-normal-*-*-100-*-*-p-*-iso8859-1"
}
widget_class "*" style "user-font"
# -- THEME AUTO-WRITTEN DO NOT EDIT
