gaming/godot
gaming/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot synced 2024-10-06 16:46:09 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #21381 from YeldhamDev/members_help_overview_fix

Browse source 
Fix Members/Help Overview getting their items deselected when a tooltip appears
This commit is contained in:
Rémi Verschelde 2018-08-27 09:43:00 +02:00 committed by GitHub
parent 0f4ba4481a df4f3aecd8
commit fc1d464f1f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
editor/plugins/script_editor_plugin.cpp
View file

@ -1692,7 +1692,6 @@ void ScriptEditor::_update_script_names() {
if (restoring_layout)
return;
waiting_update_names = false;
Set<Ref<Script> > used;
Node *edited = EditorNode::get_singleton()->get_edited_scene();
if (edited) {
@ -1816,8 +1815,12 @@ void ScriptEditor::_update_script_names() {
}
}
_update_members_overview();
_update_help_overview();
if (!waiting_update_names) {
_update_members_overview();
_update_help_overview();
} else {
waiting_update_names = false;
}
_update_members_overview_visibility();
_update_help_overview_visibility();
_update_script_colors();