No problem... ;-) I found it a LONG time ago, when I was similarly hunting
for a good coding font... As I said, my main requirement was a font with
dotted or slashed zeros, but the other features of the font do indeed seem
perfectly suited to my needs, as well... I'm still rather amazed that not
a single stock font seems to have dotted/slashed zeros... (Or, at least,
I couldn't find one at the time I went hunting and found the JMK fonts,
anyway... But, that was a fairly long time ago...) That's just really
weird, IMHO... When did they go out of fashion, anyway?? I can't live
without them, myself... Oh well, I'm just glad someone else apparently
can't live without them either, and created those fonts... ;-)
Copyright © 2017, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds