That's the one!
After spending a few minutes looking for a way to get that in gnome-terminal I gave up and switched back to rxvt. I like to have zillions of terminals open and like something that doesn't waste memory. rxvt does everything I need, and it's fast and light.
Copyright © 2017, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds