| |||||||||||
Custom fontsCustom fontsPosted 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.
(Log in to post comments)
|
|||||||||||