godotengine/godot
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #8433 from neikeq/pr-fix-smth

Browse Source 
ScriptEditor: Fixes bug where menu option would be handled twice
This commit is contained in:
Andreas Haas 2017-04-17 11:55:42 +02:00 committed by GitHub
commit 95fe6b5d8c
1 changed files with 20 additions and 19 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
editor/plugins/script_editor_plugin.cpp
View File

@ -878,7 +878,7 @@ void ScriptEditor::_menu_option(int p_option) {
}
}
}
}
} else {
EditorHelp *help = tab_container->get_current_tab_control()->cast_to<EditorHelp>();
if (help) {
@ -902,6 +902,7 @@ void ScriptEditor::_menu_option(int p_option) {
} break;
}
}
}
}
void ScriptEditor::_tab_changed(int p_which) {