Keep track of number of times a key/button is pressed
- Have two mice/keyboards
- Press a key/button on device 1
- Press the same on key/button on device 2
- wlroots generates two pressed events, should only generate a single one
We should maintain a list of the currently pressed keys/buttons, with the number of times pressed.
We already maintain a list of pressed buttons, but we don't use it to de-duplicate events.