The copy paste functionality hasn’t changed between Win7 and Win10. I can’t remember when/if it’s ever changed. However, marking with the mouse seems to be a newer enhancement. You just have to watch that you don’t click the mouse and expect it to continue displaying output. Hit Enter to finish the copy and display the queued output or Esc to cancel the copy.
DaR From: Ethan A. Gardener Sent: Thursday, April 26, 2018 7:49 AM To: Dennis Ruffer; gforth@gnu.org Subject: Re: [gforth] Suitable terminal for Windows 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.
