On Mon, 2002-11-04 at 22:26, Alejandro Pinazo wrote: > Hola: > > On 03 Nov 2002 23:31:06 +0100 > Rodrigo Moya <[EMAIL PROTECTED]> wrote: > > > �no est�s usando GNOME 2? Si no lo est�s usando, entonces tendr�s que > > modificar a mano ~/.gnome/Terminal. Como ya te han dicho en otro mail, > > si no puedes solucionarlo, simplemente borra el fichero, ya que se > > volver� a crear la pr�xima vez que uses el gnome-terminal. > > > > saludos > > Efectivamente uso GNOME 1.4. De todas formas ya he probado lo de > modificar el archivo "$HOME/.gnome/Terminal" e incluso de borrarlo pero > "gnome-terminal" me sigue cargando con una fuente enan�sima. �ste es el > archivo de configuraci�n que me crea: > > [Placement] > Dock=Menubar\\0,0,0,0 > > [Config] > font=-*-fixed-medium-r-normal--14-*-*-*-*-*-*-*,*-r-* > cambia el 14 por otro tama�o m�s grande, a ver si eso funciona.
> > Por cierto, Rodrigo, tus correos siempre llegan duplicados a la lista :-? > si, porque uso Reply To All al contestar. Hay por ah� muchos sitios donde explican porqu� hacer esto (la raz�n principal es que la persona a la que contesto puede que no est� en la lista), as� que no las voy a explicar :-) saludos
