Merge pull request #75331 from KoBeWi/remove_removed_plugins

Remove disabled plugins from active plugins
godotengine · Mar 27, 2023 · b57f3c2 · b57f3c2
2 parents b136677 + 0b8b37c
commit b57f3c2
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/editor/editor_node.cpp b/editor/editor_node.cpp
@@ -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() {