From: v4hn <me@v4hn.de>
Date: Thu, 19 May 2016 10:16:57 +0000 (+0200)
Subject: delete clipboard properties after pasting them
X-Git-Url: https://git.danieliu.xyz/?a=commitdiff_plain;ds=sidebyside;h=60aeb37edb8c5280d31b6b3c801d09c7a5fdca76;hp=60aeb37edb8c5280d31b6b3c801d09c7a5fdca76;p=st.git

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>
---