On Sun, 2003-12-07 at 21:51, Geert Uytterhoeven wrote: > On Sun, 7 Dec 2003, Aaron Schrab wrote: > > At 21:36 +0100 07 Dec 2003, Geert Uytterhoeven <[EMAIL PROTECTED]> wrote: > > > On Sun, 7 Dec 2003, Aaron Schrab wrote: > > > > At 11:34 +0100 07 Dec 2003, Geert Uytterhoeven <[EMAIL PROTECTED]> > > > > wrote: > > > > > Another annoying thing is that gnome-terminal is no longer able to > > > > > display the > > > > > `high' characters from 8-bit ASCII (ISO-8859-{1,15}), nor can I type > > > > > them ;-( > > > > > > > > Works fine for me as long as I've selected the correct entry from the > > > > "Terminal->Character Coding" menu. > > > > > > I can't find such a menu in the gnome-terminal settings. > > > > It's not in the settings. When the menubar is showing, there should be > > a menu named "Terminal" with a "Character Coding" submenu. > > Thanks! I always have the menubar disabled, and didn't suspect it to contain > settings I couldn't get at using the right mouse button... > > Gr{oetje,eeting}s, > > Geert > > -- > Geert Uytterhoeven -- There's lots of Linux beyond ia32 -- [EMAIL PROTECTED] > > In personal conversations with technical people, I call myself a hacker. But > when I'm talking to journalists I just say "programmer" or something like > that. > -- Linus Torvalds
ok, so I I tried... I set dpkg-reconfigured fontconfig, switched to font fixed, did my time find benchmark and redid the benchmark with some courier 9pts font. result: gnome-terminal is unusably slow: gt (font fixed 9pts): real 4m2.030s user 0m0.536s sys 0m4.936s gt (font courier 9pts): real 3m47.649s user 0m0.548s sys 0m4.882s mgt (font -misc-fixed-medium-r-normal-*-13-*-*-*-c-*-iso8859-15 - which happens to be smaller than a 10pts fixed/courier font in gt don't knwo why) real 0m55.705s user 0m0.442s sys 0m4.456s xterm is like 2 sec faster. So I will stay with mgt which also has a lot more usability enhancements compared with gt. Soeren.