Marijn Suijten 05fe983757 android: Use event identifier instead of userdata pointer (#1826) ... ndk-glue currently sets both the `ident` field and user-data pointer to `0` or `1` for the event pipe and input queue respectively, to tell these sources apart. While it works to reinterpret this `data` pointer as integer identifier it shouldn't be abused for that, in particular when one may wish to provide extra information with an event in the future; then the `data` field is used as pointer (or abused as abstract value) for that.		2021-01-13 23:02:55 +01:00
..
mod.rs	android: Use event identifier instead of userdata pointer (#1826)	2021-01-13 23:02:55 +01:00