Prevent unwanted script editor input on game crash

Fixes #6530.
This commit is contained in:
Henrique Lacreta Alves 2016-10-22 08:54:38 -02:00 committed by Rémi Verschelde
parent f5818c8e63
commit 853d1ce9f3
1 changed files with 1 additions and 0 deletions

View File

@ -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 );