mirror of
https://github.com/godotengine/godot.git
synced 2025-10-19 07:53:26 +00:00
Remove disabled plugins from active plugins
(cherry picked from commit 0b8b37c35d
)
This commit is contained in:
parent
b85cead4b9
commit
65c52087c2
1 changed files with 4 additions and 0 deletions
|
@ -3533,6 +3533,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() {
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue