diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-06-27 08:15:54 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-06-27 08:15:54 +0200 |
| commit | 72bf46649e55d20a8173e439262b16b28c587372 (patch) | |
| tree | 57fb3c79b2994a31c1ee7dfe1690525b09148b4a /editor/plugins/script_text_editor.cpp | |
| parent | 460ec3344e652f968ab2ca670a1178ed790ea29f (diff) | |
| parent | 6687484958412ff0f3bd6d97cbc1fcebc7ae64d2 (diff) | |
| download | redot-engine-72bf46649e55d20a8173e439262b16b28c587372.tar.gz | |
Merge pull request #9360 from GodotExplorer/pr-external-editor-language-check
Better user experience with external text editors.
Diffstat (limited to 'editor/plugins/script_text_editor.cpp')
| -rw-r--r-- | editor/plugins/script_text_editor.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/editor/plugins/script_text_editor.cpp b/editor/plugins/script_text_editor.cpp index 9f76119374..60fd9d8e30 100644 --- a/editor/plugins/script_text_editor.cpp +++ b/editor/plugins/script_text_editor.cpp @@ -557,6 +557,8 @@ void ScriptEditor::_update_modified_scripts_for_external_editor(Ref<Script> p_fo if (!bool(EditorSettings::get_singleton()->get("text_editor/external/use_external_editor"))) return; + ERR_FAIL_COND(!get_tree()); + Set<Ref<Script> > scripts; Node *base = get_tree()->get_edited_scene_root(); |