Kirill Chibisov c8c1eca3c7 api: move primary from FingerId to Pointer events ...

Whether the pointer event is primary or not generally matters for the
context where all input is done by the same event, so users can
_ignore_ non-primary events since they are likely from users clicking
something else with their other fingers.

Having it only on a FingerId made it useless, since it's usually used
to avoid multi-touch, but if you start mapping on touch event you
already can track things like that yourself.

Fixes #3943.

Co-authored-by: daxpedda <daxpedda@gmail.com>

2024-11-02 17:10:32 +03:00

..

event_loop.rs

api: move primary from FingerId to Pointer events

2024-11-02 17:10:32 +03:00

mod.rs

chore: remove platform DeviceId

2024-10-11 11:15:54 +03:00

window.rs

chore: remove platform WindowId's

2024-10-08 16:29:40 +03:00