Kirill Chibisov edfb4b03f4 chore: remove platform FingerId ... The same as for `WindowId`.		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 FingerId	2024-11-02 17:10:32 +03:00
window.rs	chore: remove platform WindowId's	2024-10-08 16:29:40 +03:00