diff options
| author | Ivan.Shakhov <van800@gmail.com> | 2020-03-21 15:33:14 +0100 |
|---|---|---|
| committer | Ivan.Shakhov <van800@gmail.com> | 2020-03-21 15:33:14 +0100 |
| commit | 05946be2f19c75c18972a19cf440a6b020206b2f (patch) | |
| tree | 1d407d17914a1a43bd52eb1c1fb7a69383f634f2 | |
| parent | cce0a27ec7dd7c11fcb37eb724b0b7e97b3b1478 (diff) | |
Fix warning: Property not found: mono/editor/editor_path_optional (#36995)
| -rw-r--r-- | modules/mono/editor/GodotTools/GodotTools/BuildManager.cs | 2 | ||||
| -rw-r--r-- | modules/mono/editor/GodotTools/GodotTools/Ides/Rider/RiderPathManager.cs | 5 |
2 files changed, 6 insertions, 1 deletions
diff --git a/modules/mono/editor/GodotTools/GodotTools/BuildManager.cs b/modules/mono/editor/GodotTools/GodotTools/BuildManager.cs index 94214cbb8f..520e665595 100644 --- a/modules/mono/editor/GodotTools/GodotTools/BuildManager.cs +++ b/modules/mono/editor/GodotTools/GodotTools/BuildManager.cs @@ -251,7 +251,7 @@ namespace GodotTools var editorSettings = GodotSharpEditor.Instance.GetEditorInterface().GetEditorSettings(); var msbuild = BuildTool.MsBuildMono; if (OS.IsWindows) - msbuild = RiderPathManager.IsRider((string) editorSettings.GetSetting(RiderPathManager.EditorPathSettingName)) + msbuild = RiderPathManager.IsExternalEditorSetToRider(editorSettings) ? BuildTool.JetBrainsMsBuild : BuildTool.MsBuildVs; diff --git a/modules/mono/editor/GodotTools/GodotTools/Ides/Rider/RiderPathManager.cs b/modules/mono/editor/GodotTools/GodotTools/Ides/Rider/RiderPathManager.cs index ee5677a6a8..16f91a0925 100644 --- a/modules/mono/editor/GodotTools/GodotTools/Ides/Rider/RiderPathManager.cs +++ b/modules/mono/editor/GodotTools/GodotTools/Ides/Rider/RiderPathManager.cs @@ -55,6 +55,11 @@ namespace GodotTools.Ides.Rider } } + public static bool IsExternalEditorSetToRider(EditorSettings editorSettings) + { + return editorSettings.HasSetting(EditorPathSettingName) && IsRider((string) editorSettings.GetSetting(EditorPathSettingName)); + } + public static bool IsRider(string path) { if (string.IsNullOrEmpty(path)) |