mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-24 10:55:07 +00:00
This patch presents all press and release events to the pointer state, fixing the problem that _key_cnt was decreased but never increased. However, the inconsistency had no observable effects in practice. Issue #4176