Custom fonts

Posted Jun 11, 2004 3:01 UTC (Fri) by pimlott (guest, #1535)
In reply to: Custom fonts by rfunk
Parent article: The Grumpy Editor's guide to terminal emulators

It seems to require a full specification though; a short alias like "6x13" or "fixed" doesn't seem to work.

Works for me. I just selected 6x13 and fixed from your message.