diff options
| author | Henrique Lacreta Alves | 2016-10-22 08:54:38 -0200 |
|---|---|---|
| committer | Rémi Verschelde | 2016-10-31 00:01:11 +0100 |
| commit | 58daf901f97f088d1ac704164bb293eec80aef53 (patch) | |
| tree | 2bfa920808096f73a8bb1e517e69b8518d1272fa /tools/editor/plugins/script_editor_plugin.cpp | |
| parent | 887b1de1dbb4664534b2bd413e8fe53ca2fbd6e5 (diff) | |
| download | godot-58daf901f97f088d1ac704164bb293eec80aef53.tar.gz godot-58daf901f97f088d1ac704164bb293eec80aef53.tar.zst godot-58daf901f97f088d1ac704164bb293eec80aef53.zip | |
Prevent unwanted script editor input on game crash
Fixes #6530.
(cherry picked from commit 853d1ce9f30b93933e5e2f5dad78f7bf75742b15)
Diffstat (limited to '')
| -rw-r--r-- | tools/editor/plugins/script_editor_plugin.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/editor/plugins/script_editor_plugin.cpp b/tools/editor/plugins/script_editor_plugin.cpp index c7892bbef..21f469863 100644 --- a/tools/editor/plugins/script_editor_plugin.cpp +++ b/tools/editor/plugins/script_editor_plugin.cpp @@ -2310,6 +2310,7 @@ void ScriptEditor::apply_scripts() const { void ScriptEditor::_editor_play() { debugger->start(); + debug_menu->get_popup()->grab_focus(); debug_menu->get_popup()->set_item_disabled( debug_menu->get_popup()->get_item_index(DEBUG_NEXT), true ); debug_menu->get_popup()->set_item_disabled( debug_menu->get_popup()->get_item_index(DEBUG_STEP), true ); debug_menu->get_popup()->set_item_disabled( debug_menu->get_popup()->get_item_index(DEBUG_BREAK), false ); |