| 3757 | } |
| 3758 | |
| 3759 | void EditorNode::unload_editor_addons() { |
| 3760 | for (const KeyValue<String, EditorPlugin *> &E : addon_name_to_plugin) { |
| 3761 | print_verbose(vformat("Unloading addon: %s", E.key)); |
| 3762 | remove_editor_plugin(E.value, false); |
| 3763 | memdelete(E.value); |
| 3764 | } |
| 3765 | |
| 3766 | addon_name_to_plugin.clear(); |
| 3767 | } |
| 3768 | |
| 3769 | void EditorNode::_discard_changes(const String &p_str) { |
| 3770 | switch (current_menu_option) { |