mirror of
https://github.com/godotengine/godot
synced 2024-09-05 05:28:27 +00:00
Fix mono enabled builds (broken by 3d87b70
).
This commit is contained in:
parent
d938de67ff
commit
17e89c2c66
|
@ -352,8 +352,8 @@ GodotSharpBuilds::GodotSharpBuilds() {
|
|||
|
||||
// Build tool settings
|
||||
EditorSettings *ed_settings = EditorSettings::get_singleton();
|
||||
if (!ed_settings->has("mono/builds/build_tool")) {
|
||||
ed_settings->set("mono/builds/build_tool", MSBUILD);
|
||||
if (!ed_settings->has_setting("mono/builds/build_tool")) {
|
||||
ed_settings->set_setting("mono/builds/build_tool", MSBUILD);
|
||||
}
|
||||
ed_settings->add_property_hint(PropertyInfo(Variant::INT, "mono/builds/build_tool", PROPERTY_HINT_ENUM, "MSBuild (System),MSBuild (Mono),xbuild"));
|
||||
}
|
||||
|
|
|
@ -237,8 +237,8 @@ GodotSharpEditor::GodotSharpEditor(EditorNode *p_editor) {
|
|||
|
||||
// External editor settings
|
||||
EditorSettings *ed_settings = EditorSettings::get_singleton();
|
||||
if (!ed_settings->has("mono/editor/external_editor")) {
|
||||
ed_settings->set("mono/editor/external_editor", EDITOR_NONE);
|
||||
if (!ed_settings->has_setting("mono/editor/external_editor")) {
|
||||
ed_settings->set_setting("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,Visual Studio Code"));
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue