]> git.armaanb.net Git - st.git/commit
delete clipboard properties after pasting them
authorv4hn <me@v4hn.de>
Thu, 19 May 2016 10:16:57 +0000 (12:16 +0200)
committerChristoph Lohmann <20h@r-36.net>
Fri, 3 Jun 2016 12:55:25 +0000 (14:55 +0200)
commit60aeb37edb8c5280d31b6b3c801d09c7a5fdca76
treed9ef71ce756e5bd5295bf0f208e099039f2a3257
parent66556d967028a0b770e9bfcb9667389a6e994a58
delete clipboard properties after pasting them

https://tronche.com/gui/x/icccm/sec-2.html#s-2.4 specifies:
> Once all the data in the selection has been retrieved,
> the requestor should delete the property in the SelectionNotify request

Most Clipboard-Owners ignore whether or not the property is already set,
so this is mostly a cosmetic change to keep the windows property list clean.

However, at least synergy decides to wait for the requestor to delete
the properties if they are already set by a previous paste (from synergy).

Signed-off-by: Christoph Lohmann <20h@r-36.net>
st.c