diff options
author | Juan Linietsky <reduzio@gmail.com> | 2016-07-18 19:24:38 -0300 |
---|---|---|
committer | Juan Linietsky <reduzio@gmail.com> | 2016-07-18 19:24:38 -0300 |
commit | 3e3108abe2398fba80c54db153d0b375e437130f (patch) | |
tree | bcb404a8c68400c7a245db72339e190744f6ebfc /tools | |
parent | 7a4d67ae7129ee92feebea3d5f7b46d456d29f88 (diff) |
Always soft reload editor plugins. Closes #5273
Diffstat (limited to 'tools')
-rw-r--r-- | tools/editor/plugins/script_editor_plugin.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/editor/plugins/script_editor_plugin.cpp b/tools/editor/plugins/script_editor_plugin.cpp index 5915bb5794..5b8cd9f809 100644 --- a/tools/editor/plugins/script_editor_plugin.cpp +++ b/tools/editor/plugins/script_editor_plugin.cpp @@ -1481,7 +1481,9 @@ void ScriptEditor::_menu_option(int p_option) { if (scr.is_null()) return; scr->set_source_code(te->get_text()); - scr->get_language()->reload_tool_script(scr,p_option==FILE_TOOL_RELOAD_SOFT); + bool soft = p_option==FILE_TOOL_RELOAD_SOFT || scr->get_instance_base_type()=="EditorPlugin"; //always soft-reload editor plugins + + scr->get_language()->reload_tool_script(scr,soft); } break; case EDIT_TRIM_TRAILING_WHITESAPCE: { _trim_trailing_whitespace(current->get_text_edit()); |