mirror of
https://github.com/servo/servo
synced 2026-05-12 18:06:32 +02:00
This is necessary first step to distinguish pointer sources: "mouse, pen, touch". Spec: https://w3c.github.io/webdriver/#dfn-get-a-pointer-id. Testing: No behaviour change yet as we still only dispatch pointer type: mouse. Fixes: Part of #39264. --------- Signed-off-by: Euclid Ye <yezhizhenjiakang@gmail.com>