diff options
| author | Markus Sauermann <6299227+Sauermann@users.noreply.github.com> | 2023-02-04 23:16:54 +0100 |
|---|---|---|
| committer | Markus Sauermann <6299227+Sauermann@users.noreply.github.com> | 2023-02-06 22:49:42 +0100 |
| commit | 8748f4dcaa9a7f703529e48c22064948d5121fd3 (patch) | |
| tree | 10113a88d2d9c796ac82e8d94e4ebb4171b2d0dc /logo_outlined.png | |
| parent | 945207885b3cd97012215334e56fcd3139d25e9f (diff) | |
Fix mouse/drag/touch InputEvents having no device id
Some internally created emulated/instantiated events didn't have a
device id. This PR sets for these cases a device id.
Also rename `DEVICE_ID_TOUCH_MOUSE` to the more generic
`DEVICE_ID_EMULATION`.
Diffstat (limited to 'logo_outlined.png')
0 files changed, 0 insertions, 0 deletions