> > Well maybe but we changed this code so there is no more an automatic
> > copy to the clipboard it only copies to the clipboard if you do a
> > Cut/Copy operation, we decided that this is enough.
>
> Isn't my solution better?
> (In my patch, the selection is automatically copied to the clipbord when the
> mouse cursor leaves the workarea).
The problem with this solution is that the cost of the operation comes
at an arbitrary time: Just because you move the mouse. (Recall that
the cost could be substantial if you have a lot of external insets
that do complicated processing to do an ASCII rendering.)
In the copy-solution, the cost is incurred when you invoke the command.
This is more acceptable.
However, the best solution would be a real lazy solution: Only incur
the cost when the paste command is asked for by the X window system.
Unfortunately, XForms does not support this, so you have to implement
your own X clipboard handling to do this, and that's why we came up
with the existing solution. I consider it to be a good compromise
in terms of reducing annoyance for the user, and ease of implementation.
Greets,
Asger