Re: Terminal ^D

[Christoph Kukulies]

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.bernst...@nrl.navy.mil>:
> 
> All these things are also in the Terminal's "View" menu.
>       
>                                                       Noam
> 
—
Christoph