diff options
Diffstat (limited to 'src/server/documents.odin')
| -rw-r--r-- | src/server/documents.odin | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/server/documents.odin b/src/server/documents.odin index a042ee0..ed1fb52 100644 --- a/src/server/documents.odin +++ b/src/server/documents.odin @@ -318,7 +318,13 @@ document_refresh :: proc(document: ^Document, config: ^common.Config, writer: ^W return .None } - uri := common.create_uri(document.uri.path, context.temp_allocator) + path := document.uri.path + + when ODIN_OS == .Windows { + path = common.get_case_sensitive_path(path, context.temp_allocator) + } + + uri := common.create_uri(path, context.temp_allocator) remove_diagnostics(.Syntax, uri.uri) remove_diagnostics(.Check, uri.uri) |