----- "David L" <idht4n(a)gmail.com> wrote:
I didn't see a font aliasing option:
appearance preferences ->fonts has these settings:
Rendering:
Monochrome
Best shapes (selected)
Best contrast
Subpixel smoothing
Select Monochrome (I know, it will look ugly. But I have seen reports
of font antialiasing slowing down gnome-terminal a lot).