Thanks. One (me, as being used to xterm) often forgets about a menu bar being there. > Am 04.05.2020 um 15:10 schrieb Noam Bernstein <noam.bernstein at nrl.navy.mil>: > > All these things are also in the Terminal's "View" menu. > > Noam > — Christoph