Re: Mindterm and different font.

2001-06-01 Thread Preben Randhol
Joey Hess <[EMAIL PROTECTED]> wrote on 01/06/2001 (08:02) : > Preben Randhol wrote: > > Is there a way to change the font when after logging into a Linux box > > with mindterm (Java SSH). I would like to be able to change to a > > iso-8859-7 font, but setfont doesn't work. > > According to the REA

Re: Mindterm and different font.

2001-05-31 Thread Joey Hess
Preben Randhol wrote: > Is there a way to change the font when after logging into a Linux box > with mindterm (Java SSH). I would like to be able to change to a > iso-8859-7 font, but setfont doesn't work. According to the README: 4.3.2 Terminal... (Ctrl+Shift+T) In this dialog you can set the ba

Mindterm and different font.

2001-05-31 Thread Preben Randhol
Is there a way to change the font when after logging into a Linux box with mindterm (Java SSH). I would like to be able to change to a iso-8859-7 font, but setfont doesn't work. Thanks in advance. -- Preben Randhol http://www.pvv.org/~randhol/ -- iMy favorite editor is Emacs!bcw