12 Sep
2008
12 Sep
'08
4:52 a.m.
On Sep 11, 2008, at 7:50 PM, Jeremy Huddleston wrote:
Additionally, this particular issue can be solved by making pbproxy greedy for CLIPBOARD. And we have:
On CLIPBOARD is stolen event: if option_proxy_clipboard: Copy data from CLIPBOARD owner to PB if not option_proxy_pb_to_clipboard: // because this is done by the PB change event handler if we are Copy data from CLIPBOARD owner to pbproxy buffer Claim ownership of CLIPBOARD
this is the more in-depth implementation of my original which addresses George's concern:
OK, that seems like a reasonable approach to me too, and without any weird PRIMARY selection side-effects. If George is convinced, we should go for it! - Jordan