...plus it allows you to use any X font for display, not just scalable outline fonts. Apart from allowing me to use the font that I've been using for years, this makes it way faster than gnome-terminal.
Copyright © 2018, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds