diff options
| author | Markus Sauermann <6299227+Sauermann@users.noreply.github.com> | 2024-03-26 20:28:34 +0100 |
|---|---|---|
| committer | Markus Sauermann <6299227+Sauermann@users.noreply.github.com> | 2024-03-27 20:58:15 +0100 |
| commit | 945babc619cee143f56219b9182b8392edd4eeb3 (patch) | |
| tree | cbd5630e7f5d3065860ff483811d001bed8fb26f /platform/javascript/api/javascript_tools_editor_plugin.h | |
| parent | 7d151c83811f8ac8873439826c16d88c83aba12f (diff) | |
| download | redot-engine-945babc619cee143f56219b9182b8392edd4eeb3.tar.gz | |
Prohibit execution of delayed input events by different means
In some cases it can happen, that the order of input events and
window events is not followed, when input buffering or input accumulation
is active.
The display server order `InputEvent` => window-event gets changed to
window-event => `InputEvent` which becomes problematic in certain
situations.
This PR makes sure, that the order is adhered to by flushing input events
before a window event is sent.
Previously this problem was mitigated by discarding these delayed events.
But this solution was problematic in the setting of android input events.
Diffstat (limited to 'platform/javascript/api/javascript_tools_editor_plugin.h')
0 files changed, 0 insertions, 0 deletions