Hola,
En un principio, y según creo, no tiene nada que ver con el tamaño el
hecho que sea de 100dpi o 75dpi (dots per inch == puntos por pulgada).
El tamaño debería de ser el mismo... Para cambiar la fuente por defecto
de gnome mirate los ficheros .gnomerc (o .gnome/*) y .gtkrc (o .gtk/*).
Espero no errar,
Pedro
--
Pedro Martinez Juliá
\ yoros@terra.es
)| yoros@wanadoo.es
/ http://yoros.cjb.net
Socio HispaLinux #311
Usuario Linux #275438 - http://counter.li.org
GnuPG publi c information: pub 1024D/74F1D3AC
Key fingerprint = 8431 7B47 D2B4 5A46 5F8E 534F 588B E285 74F1 D3AC
Attachment:
pgpPQQjQeIeV9.pgp
Description: PGP signature