Re: [dev] [st] fonts and diacriticals

[Roberto E. Vargas Caballero]

I use also the tip and I can use diacritics (I usually have to write a lot
of them in spanish). The font I use is
-*-terminus-medium-r-*-*-*-160-72-72-*-80-*-*. Could you use the -f option
and sent the session to us?.