diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2023-02-09 23:42:12 +0100 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-02-09 23:42:12 +0100 |
commit | 91409fe0c8020dcfdb3380c2e01643a55194aa70 (patch) | |
tree | 231ef4b785f33b83796df54dda15272fa32fc951 /platform/web/js/engine | |
parent | 5c1295dc20323ee1596369b5bcf91ba6a9383336 (diff) | |
parent | 29031700ba4829ee6e624eb8220e8e817486c935 (diff) |
Merge pull request #72964 from AThousandShips/input_early_exit
Perform early exit in Input::is_anything_pressed
Diffstat (limited to 'platform/web/js/engine')
0 files changed, 0 insertions, 0 deletions