On Tue, 27 Nov 2018, Kornel Benko wrote:
Move the mouse pointer to the title line. Right mouse click gives a menu. One of the entries is Short Title.
Kornel, That's not what I see here. I have choices to paste, jump around, move things, but not add a short title. And I cannot capture the menu in a screenshot as it disappears as soon as I move the cursor to xv to initiate a screen grab. Thanks, Rich