Posted Jun 4, 2004 21:39 UTC (Fri) by corbet
In reply to: Font
Parent article: The Grumpy Editor's guide to terminal emulators
That one's not bad. Interestingly, you can get it in gnome-terminal, but you have to ask for nine-point to get the same size...
to post comments)