Faro, [EMAIL PROTECTED]:53:38(+0100): > > Supongo que habrá una forma de hacerlo a mano. Yo lo hago con > "gnomecc" en el apartado Escritorio -> Selector de temas.
$ grep font .gtkrc
# font = "-adobe-helvetica-normal-r-normal-*-10-*-*-*-*-*-*-*"
font = "-adobe-helvetica-medium-r-normal-*-8-*-*-*-*-*-*-*"
Me gustan las fuentes pequeñas ;^). Creo que esta no tiene el
euro de todas formas pero eso no me preocupa mucho.
--
David Serrano <[EMAIL PROTECTED]> - Linux Registered User #87069
