diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2016-06-13 10:58:32 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2016-06-13 10:58:32 -0300 |
| commit | 45443a165147859f83df37223572cdd40df476b4 (patch) | |
| tree | e933745cff680030cc5e963651cd64440250475d /tools/editor/resources_dock.h | |
| parent | 910151a36153d954acaff9c95ef09ec6540179fa (diff) | |
Changed reload logic to auto-hard-reload scripts on save. It's simpler to use and also fixes #4756
Diffstat (limited to 'tools/editor/resources_dock.h')
0 files changed, 0 insertions, 0 deletions