diff options
| author | robfram | 2018-03-13 21:20:59 +0100 |
|---|---|---|
| committer | Hein-Pieter van Braam | 2018-04-28 17:09:55 +0200 |
| commit | d40f40e1c94bd7d663ec8ef40291387669fe86f9 (patch) | |
| tree | 9a20c1bb9328fdfe9c6ba056168655d34986de8f /platform/javascript/audio_driver_javascript.cpp | |
| parent | fa831f022436a8439d3a0198b3e689bef3573ebb (diff) | |
| download | godot-d40f40e1c94bd7d663ec8ef40291387669fe86f9.tar.gz godot-d40f40e1c94bd7d663ec8ef40291387669fe86f9.tar.zst godot-d40f40e1c94bd7d663ec8ef40291387669fe86f9.zip | |
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
(cherry picked from commit 8939f44f6ac5594348e4d671d121680822bd8dc8)
Diffstat (limited to 'platform/javascript/audio_driver_javascript.cpp')
0 files changed, 0 insertions, 0 deletions
