diff options
author | hodes <henrique.otavio.es@gmail.com> | 2016-06-18 19:29:16 -0300 |
---|---|---|
committer | Hodes <rikee8@gmail.com> | 2016-06-18 19:29:16 -0300 |
commit | 7544cd6ce2d747b65a0ca704c1f14f6393071d1e (patch) | |
tree | dca2fd48f7335bb704f8a790722bd72e81e0c80e /tools/editor/editor_node.cpp | |
parent | 4b05181397bb916b20d0eec3d1c640e028896eda (diff) |
editor_node.cpp now takes care of removing plugin after deactivating it
Diffstat (limited to 'tools/editor/editor_node.cpp')
-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 5e946e0ecc..6c5e75b86f 100644 --- a/tools/editor/editor_node.cpp +++ b/tools/editor/editor_node.cpp @@ -2944,6 +2944,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 ); @@ -2996,7 +2999,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(); |