Hi Uli,
I will try your suggestion the next time the problem occurs.
FWIW, my perception is 3.5.99.23 has fewer clipboard problems than the previous releases. Perhaps some but not all clipboard bugs were fixed?
Norm
On 2/13/2020 12:53 AM, Ulrich Sibiller wrote:
Sorry about that. One workaround might be to copy something to clipboard on the linux side and then on Windows again. Does that help?
Uli