2
0
mirror of https://github.com/godotengine/godot.git synced 2025-03-26 00:16:37 +08:00
robfram d40f40e1c9 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 

(cherry picked from commit 8939f44f6ac5594348e4d671d121680822bd8dc8)
2018-04-28 17:09:55 +02:00
..
2018-01-18 09:08:01 +09:00
2018-01-18 09:08:01 +09:00
2018-02-22 12:02:02 +01:00
2018-02-19 20:48:36 +01:00