diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2016-06-11 20:51:44 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2016-06-11 20:51:44 -0300 |
| commit | e8209b9c5cd40649e0ab87515d20b4aab6c9feb0 (patch) | |
| tree | 71a61bcc6d2e02e429764508a15def90dc2a6102 | |
| parent | fea9511bc6be3135ee80f6aef03b4323110826e9 (diff) | |
Prevent crash in specific situation of removing a plugin, fixes #5019
| -rw-r--r-- | tools/editor/editor_node.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/editor/editor_node.cpp b/tools/editor/editor_node.cpp index 26e40cf816..a21eae2329 100644 --- a/tools/editor/editor_node.cpp +++ b/tools/editor/editor_node.cpp @@ -3089,6 +3089,7 @@ void EditorNode::set_addon_plugin_enabled(const String& p_addon,bool p_enabled) if (!p_enabled) { EditorPlugin *addon = plugin_addons[p_addon]; + editor_data.remove_editor_plugin( addon ); memdelete(addon); //bye plugin_addons.erase(p_addon); _update_addon_config(); |