From 0b8b37c35df7d0341c47d99298b4aa7f18ee60eb Mon Sep 17 00:00:00 2001
From: kobewi <kobewi4e@gmail.com>
Date: Sat, 25 Mar 2023 21:12:47 +0100
Subject: [PATCH] Remove disabled plugins from active plugins

---
 editor/editor_node.cpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/editor/editor_node.cpp b/editor/editor_node.cpp
index 026310a6965..94403d6a44c 100644
--- a/editor/editor_node.cpp
+++ b/editor/editor_node.cpp
@@ -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() {