diff options
author | Daniel J. Ramirez <djrmuv@gmail.com> | 2017-10-28 16:25:28 -0500 |
---|---|---|
committer | Daniel J. Ramirez <djrmuv@gmail.com> | 2017-11-09 22:10:48 -0600 |
commit | c57fc8ee7df9113be6c0857ceff51bfed5b9f8bd (patch) | |
tree | 3a2e5f499b18fd122a958258bb17e52e992c6481 /modules/mono/editor/godotsharp_editor.cpp | |
parent | 0de6cba7e7e114f71fabb3dbe02cf260f7d3e2c6 (diff) |
Fixed editor settings disappearing.
Some items that are no longer defined may disappear, but thats expected i guess.
Diffstat (limited to 'modules/mono/editor/godotsharp_editor.cpp')
-rw-r--r-- | modules/mono/editor/godotsharp_editor.cpp | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/modules/mono/editor/godotsharp_editor.cpp b/modules/mono/editor/godotsharp_editor.cpp index 837dbfde66..1bc1e8a515 100644 --- a/modules/mono/editor/godotsharp_editor.cpp +++ b/modules/mono/editor/godotsharp_editor.cpp @@ -221,9 +221,7 @@ GodotSharpEditor::GodotSharpEditor(EditorNode *p_editor) { // External editor settings EditorSettings *ed_settings = EditorSettings::get_singleton(); - if (!ed_settings->has_setting("mono/editor/external_editor")) { - ed_settings->set_setting("mono/editor/external_editor", EDITOR_NONE); - } + EDITOR_DEF("mono/editor/external_editor", EDITOR_NONE); ed_settings->add_property_hint(PropertyInfo(Variant::INT, "mono/editor/external_editor", PROPERTY_HINT_ENUM, "None,MonoDevelop,Visual Studio Code")); } |