> there. The only two event types that get through to this code
> are PropertyNotify and SelectionNotify and for both of them property
> should be deleted.

Indeed. If Christoph has not problems with it, I will push this commit.

Regards,


Reply via email to