diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2016-06-12 15:34:58 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2016-06-12 15:34:58 -0300 |
| commit | d91120382991b021f0e39a39d4aff97ed8bfdbd9 (patch) | |
| tree | ede64323e0d8c44536a9c2dba60ce3374ec7f695 | |
| parent | c1056a9bfb723d053c3bec9d9f8d84ecdc5e93f9 (diff) | |
project history was not being saved after a recent fix, this should fix it
| -rw-r--r-- | tools/editor/editor_settings.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/editor/editor_settings.cpp b/tools/editor/editor_settings.cpp index 26c8826d87..0d0008fcb8 100644 --- a/tools/editor/editor_settings.cpp +++ b/tools/editor/editor_settings.cpp @@ -166,7 +166,7 @@ void EditorSettings::_get_property_list(List<PropertyInfo> *p_list) const { pinfo|=PROPERTY_USAGE_STORAGE; } - if (!E->get().name.begins_with("_")) { + if (!E->get().name.begins_with("_") && !E->get().name.begins_with("projects/")) { pinfo|=PROPERTY_USAGE_EDITOR; } else { pinfo|=PROPERTY_USAGE_STORAGE; //hiddens must always be saved |