diff options
| author | Henrique Lacreta Alves <henriquelalves@gmail.com> | 2016-10-22 08:54:38 -0200 |
|---|---|---|
| committer | Rémi Verschelde <remi@verschelde.fr> | 2016-10-22 12:54:38 +0200 |
| commit | 853d1ce9f30b93933e5e2f5dad78f7bf75742b15 (patch) | |
| tree | 763eb3b701e06188b53b96c9f16e981800be2556 /tools/editor | |
| parent | f5818c8e6399199603fd6294419c9925582ba9db (diff) | |
Prevent unwanted script editor input on game crash
Fixes #6530.
Diffstat (limited to 'tools/editor')
| -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 3cd6d8336a..99c50efd2f 100644 --- a/tools/editor/plugins/script_editor_plugin.cpp +++ b/tools/editor/plugins/script_editor_plugin.cpp @@ -1620,6 +1620,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 ); |