mirror of
https://github.com/godotengine/godot.git
synced 2024-11-25 05:33:11 +00:00
Finally fixes the infamous bug #4444, hoping to never see you again.
Closes #4444.
(cherry picked from commit b0f0ae0723
)
This commit is contained in:
parent
828fa9af11
commit
9cc9b45948
@ -838,6 +838,15 @@ void ScriptEditor::_reload_scripts(){
|
||||
}
|
||||
|
||||
|
||||
uint64_t last_date = script->get_last_modified_time();
|
||||
uint64_t date = FileAccess::get_modified_time(script->get_path());
|
||||
|
||||
//printf("last date: %lli vs date: %lli\n",last_date,date);
|
||||
if (last_date==date) {
|
||||
continue;
|
||||
}
|
||||
|
||||
|
||||
Ref<Script> rel_script = ResourceLoader::load(script->get_path(),script->get_type(),true);
|
||||
ERR_CONTINUE(!rel_script.is_valid());
|
||||
script->set_source_code( rel_script->get_source_code() );
|
||||
|
Loading…
Reference in New Issue
Block a user