diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2016-06-22 07:49:37 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-06-22 07:49:37 +0200 |
commit | 44c37e9b13c255ab0e002ef6c0ea794141da1a9f (patch) | |
tree | ae3db92bd58fc1a0045da74edbddb441091c5945 | |
parent | 3edf66477a49696ae82074b4675aff818dda68fe (diff) | |
parent | 7544cd6ce2d747b65a0ca704c1f14f6393071d1e (diff) |
Merge pull request #5282 from Hodes/master
editor_node.cpp now takes care of removing plugin after deactivating it
-rw-r--r-- | tools/editor/editor_node.cpp | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tools/editor/editor_node.cpp b/tools/editor/editor_node.cpp index 5a3e3069e4..0f8ddafb20 100644 --- a/tools/editor/editor_node.cpp +++ b/tools/editor/editor_node.cpp @@ -2952,6 +2952,9 @@ void EditorNode::remove_editor_plugin(EditorPlugin *p_editor) { //singleton->main_editor_tabs->add_tab(p_editor->get_name()); singleton->editor_table.erase(p_editor); } + p_editor->make_visible(false); + p_editor->clear(); + singleton->editor_plugins_over->get_plugins_list().erase(p_editor); singleton->remove_child(p_editor); singleton->editor_data.remove_editor_plugin( p_editor ); @@ -3004,7 +3007,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 ); + remove_editor_plugin(addon); memdelete(addon); //bye plugin_addons.erase(p_addon); _update_addon_config(); |