From 6f0b2e5ee487c7cf1803d03ff3e75ec8e5e3750c Mon Sep 17 00:00:00 2001 From: Joachim Meyer Date: Thu, 21 Dec 2017 21:54:01 +0100 Subject: [PATCH] Fix crash on startup when external editor cannot be found. Fixes #10965 --- editor/plugins/script_editor_plugin.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/editor/plugins/script_editor_plugin.cpp b/editor/plugins/script_editor_plugin.cpp index 9f73849f5da..e3d604583c5 100644 --- a/editor/plugins/script_editor_plugin.cpp +++ b/editor/plugins/script_editor_plugin.cpp @@ -520,6 +520,8 @@ void ScriptEditor::_update_modified_scripts_for_external_editor(Ref