And here's what we could do for copy. Put that into an extra MR for now so we can check whether it's predictive enough for the user what is being copied (while the paste bits from above can already land for 0.42).
Note that this is orthogonal to what an app/UI toolkit offers for copy/paste (via context menus or drag handles) already.
@Blort That's the thing, with the current rope we have we can just take what the text input gives us so we'll need to improve this per toolkit. It works very well for most cases though, that's why I might end up enabling it and work from there.
@agx
Interesting... and how does it predict what the user may want to copy?... and correct it if wrong?