diff options
author | robfram <robfram@gmail.com> | 2018-03-13 21:20:59 +0100 |
---|---|---|
committer | robfram <robfram@gmail.com> | 2018-03-16 20:17:42 +0100 |
commit | 8939f44f6ac5594348e4d671d121680822bd8dc8 (patch) | |
tree | 7c1eecf444cc8404a444f920d10df2a1c8f0f375 /platform/javascript/audio_driver_javascript.h | |
parent | fe93459ef9ded290277dff0d29747b9336077238 (diff) |
Fix pressing `F3` do both changing to script editor AND find next text
As `KEY_F3` was used both for changing to script editor window and, in
the script editor, for finding the next result in the last search, and
the key event is **not** consumed, the resulting behaviour was similar
to press `F3` twice, first to change to script editor and second to
find the next result of a previous search.
This PR sets the `key_pressed` status of `InputEvent` to `false` if
this event is responsible of an editor change, simulating the
consumption of the event.
Fix #17334
Diffstat (limited to 'platform/javascript/audio_driver_javascript.h')
0 files changed, 0 insertions, 0 deletions