diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2015-12-09 09:08:41 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2015-12-09 09:08:41 -0300 |
| commit | 6bc6b8fcf24bdfcae4a990054c9077e1bc5a87e5 (patch) | |
| tree | bcdfcca0dc3c5c10a52570a3fce58cd0c48a94d5 /tools/editor/editor_fonts.cpp | |
| parent | 708ff381d6c7bc189cad35c7e144fcec7b8936c3 (diff) | |
-ability to change scripts in external editor and still have properties reloaded in godot UI, fixes #3003
Diffstat (limited to 'tools/editor/editor_fonts.cpp')
0 files changed, 0 insertions, 0 deletions