make sure editor forgets removed settings, closes #5010

This commit is contained in:
Juan Linietsky 2016-06-11 21:16:14 -03:00
parent e8209b9c5c
commit 3c21827d13
2 changed files with 25 additions and 3 deletions

View file

@ -64,7 +64,8 @@ private:
int order;
Variant variant;
bool hide_from_editor;
VariantContainer(){ order=0; hide_from_editor=false; }
bool save;
VariantContainer(){ order=0; hide_from_editor=false; save=false;}
VariantContainer(const Variant& p_variant, int p_order) { variant=p_variant; order=p_order; hide_from_editor=false; }
};
@ -85,6 +86,9 @@ private:
Ref<Resource> clipboard;
bool save_changed_setting;
void _load_defaults(Ref<ConfigFile> p_extra_config = NULL);
void _load_default_text_editor_theme();