On Wed, Jun 19, 2002 at 01:17:18AM +0200, Marcus Brinkmann wrote:
> On Tue, Jun 18, 2002 at 09:12:32AM +0200, Niels M?ller wrote:
[...]
> > Hmm, now I realize that one assumption I've been making throughout
> > this discussion is that we're using fixed width fonts. If one wants to
> > get rid of that, using variable space fonts on the console, then a
> > glyph matrix isn't so natural anymore.
> 
> This is an assumption you really have to make.  curses and other libs/apps
> can not do the right thing with variable space fonts.
> 
> Is there a terminal emulator for X that uses variables space fonts?  I would
> like to try it out.  But I can imagine a hell lot of display problems caused
> by app-unawareness, starting from ASCII art to graphic characters (box
> drawing) and overwriting text.

I've used variable-width fonts in gnome-terminal--things tend to get
pretty ugly...

... which is not to say that a user shouldn't be allowed to choose for
things to be ugly like that :)

-- 
mas Paine

_______________________________________________
Bug-hurd mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-hurd

Reply via email to