On Fri, 23 Aug 2019 23:01:30 +0200, Mike Wey wrote:

I think you will need to use the handlers that use a GdkEventSequence*.

The version that uses Event seems to be generated erroneously.

Okay, thanks, Mike.