diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2015-12-13 20:39:01 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2015-12-13 20:39:01 -0300 |
| commit | 7f96f0603e16a970c7b0ea1fba936e56baf80d4a (patch) | |
| tree | f470757f0dc5669ed7fbd6c720339dde0d7ce04d /core/resource.h | |
| parent | 72ff61963b207cc41664f7aeb39448d0a2f8369f (diff) | |
| download | redot-engine-7f96f0603e16a970c7b0ea1fba936e56baf80d4a.tar.gz | |
-scenes are properly reloaded when a dependency changes, fixes #2896
(it's clevery done so local changes to scenes are kept even if unsaved)
Diffstat (limited to 'core/resource.h')
| -rw-r--r-- | core/resource.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/core/resource.h b/core/resource.h index 3596abe673..cd28a51755 100644 --- a/core/resource.h +++ b/core/resource.h @@ -144,7 +144,7 @@ public: #ifdef TOOLS_ENABLED - void set_last_modified_time(uint64_t p_time) { last_modified_time=p_time; } + virtual void set_last_modified_time(uint64_t p_time) { last_modified_time=p_time; } uint64_t get_last_modified_time() const { return last_modified_time; } #endif |