Nixyri/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2025-01-29 13:20:43 +00:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity

Merge pull request #6978 from volzhs/dup-search-menu

Browse Source 
Fix 2 search menus are shown
This commit is contained in:
Rémi Verschelde 2016-10-30 16:34:11 +01:00 committed by GitHub
commit 2001e0f75f
1 changed files with 6 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
tools/editor/plugins/script_editor_plugin.cpp
View File

@ -1909,19 +1909,14 @@ void ScriptEditor::_update_selected_editor_menu() {
se->get_edit_menu()->hide();
}
EditorHelp *eh = tab_container->get_child(i)->cast_to<EditorHelp>();
if (eh) {
if (current)
script_search_menu->show();
else
script_search_menu->hide();
}
}
EditorHelp *eh=tab_container->get_current_tab_control()->cast_to<EditorHelp>();
if (eh) {
script_search_menu->show();
} else {
script_search_menu->hide();
}
}
void ScriptEditor::_update_history_pos(int p_new_pos) {