Scroll wheel key up/down events

I’m using the scroll wheel on my tabmate a lot, it works ok, but around 20% of the scroll wheel ticks don’t have an effect.

The wheel is sending the key_down and the key_up event for a wheel tick with a very short time interval between them, I think this is what might cause some to get skipped.