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 /thirdparty/pcre2/src | |
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 'thirdparty/pcre2/src')
0 files changed, 0 insertions, 0 deletions