On Tue, Apr 24, 2018, at 10:30 PM, Dennis Ruffer wrote:
> Copy/Paste works on the standard terminals too, but remembering the
> difference between each of them is tedious. 😉
So it does, but it's extremely tedious in Win7, being a submenu of the
window menu. I think it might be better in Win10, but my Win10 box
wasn't with me long before it died.

Reply via email to