On Thu, 6 Dec 2018, Tomas K wrote: > Ctrl-d is EOF - I'd be careful here. Tomas, In my installation it's undefined. Pressing it does nothing. In the keyboard shortcut assignment list there is no definition for it and the many choices of actions do not include that of the Del key. Rich