Always copy selected text

[mgazza]

Always copy the selected text on the selection end

[andydotxyz]

Are you sure? I'm not aware of any other widgets or terminals that (across platforms) automatically copy anything that is selected...

[mgazza]

Yeah this is exactly what Iterm does

[andydotxyz]

Fair enough, I guess there are enough terminal apps that some may do this. But the majority don't.
With this code change your forcing this behaviour on all terminal apps.
It is possible, and would it not be better, to elect to have this behaviour in your app instead of all (just extend Terminal and override the DragEnd method?

[andydotxyz]

Closing this out as it is possible with the user app and so does not need to be default on for all implementations