summaryrefslogtreecommitdiff
path: root/thirdparty/pcre2/src
diff options
context:
space:
mode:
authorMarkus Sauermann <6299227+Sauermann@users.noreply.github.com>2023-02-04 23:16:54 +0100
committerMarkus Sauermann <6299227+Sauermann@users.noreply.github.com>2023-02-06 22:49:42 +0100
commit8748f4dcaa9a7f703529e48c22064948d5121fd3 (patch)
tree10113a88d2d9c796ac82e8d94e4ebb4171b2d0dc /thirdparty/pcre2/src
parent945207885b3cd97012215334e56fcd3139d25e9f (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