gaming/godot
gaming/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot synced 2024-10-14 10:48:45 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #17496 from robfram/fix-f3-change-editor-and-find

Browse source 
Fix pressing `F3` do both changing to script editor AND find next text
This commit is contained in:
Rémi Verschelde 2018-03-23 11:28:48 +01:00 committed by GitHub
parent 699325f9a1 8939f44f6a
commit f16652d1a2
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
editor/editor_node.cpp
View file

@ -190,6 +190,8 @@ void EditorNode::_unhandled_input(const Ref<InputEvent> &p_event) {
Ref<InputEventKey> k = p_event;
if (k.is_valid() && k->is_pressed() && !k->is_echo() && !gui_base->get_viewport()->gui_has_modal_stack()) {
EditorPlugin *old_editor = editor_plugin_screen;
if (ED_IS_SHORTCUT("editor/next_tab", p_event)) {
int next_tab = editor_data.get_edited_scene() + 1;
next_tab %= editor_data.get_edited_scene_count();
@ -225,6 +227,10 @@ void EditorNode::_unhandled_input(const Ref<InputEvent> &p_event) {
_bottom_panel_switch(false, i);
}
}
if (old_editor != editor_plugin_screen) {
get_tree()->set_input_as_handled();
}
}
}