maxmustermann/godot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Always soft reload editor plugins. Closes #5273

Browse source
This commit is contained in:
Juan Linietsky 2016-07-18 19:24:38 -03:00
parent 7a4d67ae71
commit 3e3108abe2
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
tools/editor/plugins/script_editor_plugin.cpp
View file

@ -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());