polder@cs.vu.nl (Paul Polderman) (02/26/91)
Currently, you cannot use proportional fonts inside "xterm". Since the nicest fonts in the X11-tree are proportional, I am looking for an (X11) terminal emulator that handles these fonts correctly. Before I start writing it myself, does anyone know if and where I can get an existing version? Hartstikke bedankt in advance. -- Paul Polderman (polder@cs.vu.nl)