Terminal theme font


#1

Original Terminal theme (#2) uses dedicated font in app, and not included in OS. If I am correct, what is it called, and how do I get it back once it is changed?


#2

Hi, the font comes embedded in the WriteRoom app. It’s called “Glass TTY VT220”.


#3

Of course! What happened is that Size had switched down while changing to other fonts, such that I didn’t recognize it – an excellent choice on your part for Theme #2, and thank you for it – just by name, without horizontal lines as I was accustomed through each character. And as it happens, I am living in WriteRoom more and more. Your wisdom comes through.