[Texmacs-dev] Copy and paste

[Joris van der Hoeven]

Hi,

I discovered several bugs with the new copy and paste system.
One problem concerns the fact that SelectionClear events are
issued even if we were already the owner of the previous selection.
As a consequence, we lost the original TeXmacs tree and mode information.
I implement a dirty fix, but the fix might introduce other problems;
any better solution would be welcome.

As to the Qt port, one has to make sure that copy-and-paste from
within TeXmacs really uses the tree information and is not merely textual
(i.e. uses t instead of s in selection_paste). Please check.

Best wishes, --Joris