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 /core | |
parent | 708ff381d6c7bc189cad35c7e144fcec7b8936c3 (diff) |
-ability to change scripts in external editor and still have properties reloaded in godot UI, fixes #3003
Diffstat (limited to 'core')
-rw-r--r-- | core/io/resource_format_binary.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/core/io/resource_format_binary.cpp b/core/io/resource_format_binary.cpp index 4cd3cd595f..9a3a191b3b 100644 --- a/core/io/resource_format_binary.cpp +++ b/core/io/resource_format_binary.cpp @@ -853,6 +853,8 @@ String ResourceInteractiveLoaderBinary::get_unicode_string() { if (len>str_buf.size()) { str_buf.resize(len); } + if (len==0) + return String(); f->get_buffer((uint8_t*)&str_buf[0],len); String s; s.parse_utf8(&str_buf[0]); |