diff options
author | Daniel Ting <danielzting@gmail.com> | 2020-07-08 11:53:18 -0500 |
---|---|---|
committer | Daniel Ting <danielzting@gmail.com> | 2020-07-08 11:53:18 -0500 |
commit | d6c979d91b6753866400cf8824fc14b0bf58a3a8 (patch) | |
tree | 2075d18ddbb9adeb677478fbe9aaa431b6b1563c | |
parent | 18c51d3f0c4ddf0bdf347638ca2d781a42de16d2 (diff) |
Do not try to save internal scripts
Fixes #40175
-rw-r--r-- | editor/plugins/script_editor_plugin.cpp | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/editor/plugins/script_editor_plugin.cpp b/editor/plugins/script_editor_plugin.cpp index 66f0155c6a..8386d44e69 100644 --- a/editor/plugins/script_editor_plugin.cpp +++ b/editor/plugins/script_editor_plugin.cpp @@ -537,11 +537,14 @@ void ScriptEditor::_close_tab(int p_idx, bool p_save, bool p_history_back) { ScriptEditorBase *current = Object::cast_to<ScriptEditorBase>(tab_container->get_child(selected)); if (current) { + Ref<Script> script = current->get_edited_resource(); if (p_save) { - _menu_option(FILE_SAVE); + // Do not try to save internal scripts + if (!(script->get_path() == "" || script->get_path().find("local://") != -1 || script->get_path().find("::") != -1)) { + _menu_option(FILE_SAVE); + } } - Ref<Script> script = current->get_edited_resource(); if (script != nullptr) { previous_scripts.push_back(script->get_path()); notify_script_close(script); |