Comment Comment by ericmo Very good, but needs a option for resizing. I've tried looking at monospaced fonts and couldn't see them at a size that a monospaced font would actually be used (default is huge). parent ericmo 10 years ago