New version of Upsilon doesn't save data comments by default, so we need to enable that

This commit is contained in:
Deukhoofd committed 2018-11-27 12:41:32 +01:00
1 parent a3043004da
commit 238c2daa70
3 files changed
+2 -1

No files matched your search

Binary file not shown.
Binary file not shown.
@@ -38,7 +38,8 @@ namespace UpsilonLanguageServer
private static readonly ScriptOptions Options = new ScriptOptions()
{
ThrowExceptionOnError = false
ThrowExceptionOnError = false,
SaveDataComments = true
};
private static async Task RealLint(TextDocument document, int maxNumberOfProblems, SessionDocument session,