You've already forked godot
mirror of
https://github.com/godotengine/godot.git
synced 2025-11-06 12:20:30 +00:00
Remove disabled plugins from active plugins
This commit is contained in:
@@ -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->editor_plugins_force_input_forwarding->remove_plugin(p_editor);
|
||||||
singleton->remove_child(p_editor);
|
singleton->remove_child(p_editor);
|
||||||
singleton->editor_data.remove_editor_plugin(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() {
|
void EditorNode::_update_addon_config() {
|
||||||
|
|||||||
Reference in New Issue
Block a user