mirror of
https://github.com/godotengine/godot.git
synced 2025-12-08 06:09:55 +00:00
ScriptEditor: Fixes bug where menu option would be handled twice (2.1)
(cherry picked from commit 97c385d)
This commit is contained in:
parent
ebddc57eb1
commit
b010b4a85c
1 changed files with 17 additions and 16 deletions
|
|
@ -1552,7 +1552,7 @@ void ScriptEditor::_menu_option(int p_option) {
|
|||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
} else {
|
||||
|
||||
EditorHelp *help = tab_container->get_current_tab_control()->cast_to<EditorHelp>();
|
||||
if (help) {
|
||||
|
|
@ -1574,6 +1574,7 @@ void ScriptEditor::_menu_option(int p_option) {
|
|||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
void ScriptEditor::_tab_changed(int p_which) {
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue