File menu entry is missing, can't Save Contents
GNOME Terminal 3.28.1 in Mint 19
I needed: "udisksctl dump", it has a long output, in a txt file.In the terminal window:
a) There is a scrollbar, but no pointer. The mousewheel can scroll, though.
b) Ctrl+a doesn't work.
c) Mouse select doesn't scroll, only visible part.
d) Edit/Select All only selects the visible part.
e) But at menu Help/Contents, at the bottom there is a hint "Save Terminal output to a file", good:
- Go to File. # OK
- Select Save Contents .... -> but that entry is missing! Only New Tab, New Window, Close Tab, Close Window are there.
With ctrl+c the content is gone. That's not n00b-friendly :-(