Re: Cambiar la fuente y su tamaño en gdm3

2014-01-08 Por tema Juan Lavieri
rogramita llamado gdm3setup, pero >>> personalmente no estoy por la labor de hacerlo a menos que no me quede >>> otra. >>> >>> ¿Alguien sabe como cambiar la fuente y su tamaño en gdm3 (via el >>> archivo greeter.gsettings) en Debian wheezy 7.3?? Es senci

Re: Cambiar la fuente y su tamaño en gdm3

2014-01-08 Por tema Camaleón
rogramita llamado gdm3setup, pero >>> personalmente no estoy por la labor de hacerlo a menos que no me quede >>> otra. >>> >>> ¿Alguien sabe como cambiar la fuente y su tamaño en gdm3 (via el >>> archivo greeter.gsettings) en Debian wheezy 7.3?? Es sencil

Re: Cambiar la fuente y su tamaño en gdm3

2014-01-08 Por tema C. L. Martinez
a menos que no me quede >> otra. >> >> ¿Alguien sabe como cambiar la fuente y su tamaño en gdm3 (via el >> archivo greeter.gsettings) en Debian wheezy 7.3?? Es sencillamente >> enorme la que trae por defecto. > > Pues verás, para cambiar los tipos de letra y

Re: Cambiar la fuente y su tamaño en gdm3

2014-01-08 Por tema Camaleón
t; > ¿Alguien sabe como cambiar la fuente y su tamaño en gdm3 (via el > archivo greeter.gsettings) en Debian wheezy 7.3?? Es sencillamente > enorme la que trae por defecto. Pues verás, para cambiar los tipos de letra y sus tamaños en GNOME3 he tenido que tocar dos cosas: gnome-tweak-tool

Cambiar la fuente y su tamaño en gdm3

2014-01-08 Por tema C. L. Martinez
Buenas, Supongo que es trivial, pero desde san google no encuentro el como hacerlo a menos que utilice un programita llamado gdm3setup, pero personalmente no estoy por la labor de hacerlo a menos que no me quede otra. ¿Alguien sabe como cambiar la fuente y su tamaño en gdm3 (via el archivo