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?
Hi, the font comes embedded in the WriteRoom app. It’s called “Glass TTY VT220”.
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.