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

Merge pull request #75331 from KoBeWi/remove_removed_plugins

Browse source 
Remove disabled plugins from active plugins
This commit is contained in:
Yuri Sizov 2023-03-27 11:42:33 +02:00 committed by GitHub
parent b136677fac 0b8b37c35d
commit b57f3c2e67
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
editor/editor_node.cpp
View file

@ -3534,6 +3534,10 @@ void EditorNode::remove_editor_plugin(EditorPlugin *p_editor, bool p_config_chan
singleton->editor_plugins_force_input_forwarding->remove_plugin(p_editor);
singleton->remove_child(p_editor);
singleton->editor_data.remove_editor_plugin(p_editor);
for (KeyValue<ObjectID, HashSet<EditorPlugin *>> &kv : singleton->active_plugins) {
kv.value.erase(p_editor);
}
}
void EditorNode::_update_addon_config() {