diff options
| author | Daniel Gavin <danielgavin5@hotmail.com> | 2022-10-27 17:33:03 +0200 |
|---|---|---|
| committer | Daniel Gavin <danielgavin5@hotmail.com> | 2022-10-27 17:33:03 +0200 |
| commit | ab9c17b403527bc07d65d5c47ecb25bec423ddac (patch) | |
| tree | 2d10ebf151f3341fec49ee5919db2967fbf4bef7 /src/server/documents.odin | |
| parent | 601a1a447aee462575c8de91677991750cb612e5 (diff) | |
Add new config to disable the `core:odin/parser` errors
Diffstat (limited to 'src/server/documents.odin')
| -rw-r--r-- | src/server/documents.odin | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/server/documents.odin b/src/server/documents.odin index 5adfdfb..7f99e52 100644 --- a/src/server/documents.odin +++ b/src/server/documents.odin @@ -331,7 +331,7 @@ document_refresh :: proc( return .ParseError } - if writer != nil && len(errors) > 0 { + if writer != nil && len(errors) > 0 && !config.disable_parser_errors { document.diagnosed_errors = true params := NotificationPublishDiagnosticsParams { |