> Yes, I think this patch is very fragile,

Actually, it is not because:

> and I would be indeed
> surprised if it catches all cases.

The only side effect is a case is missing is that the selection buffer
is lost: not big deal!

This is what I was going to say. With this patch, 3877 is gone, and
middle button paste works in most of the cases, if not 100%.
saveSelection is pretty safe so 1.5.0 would not crash because of it.
What else do you want?

Bo

Reply via email to