diff options
| author | DanielGavin <danielgavin5@hotmail.com> | 2024-03-10 21:54:28 +0100 |
|---|---|---|
| committer | DanielGavin <danielgavin5@hotmail.com> | 2024-03-10 21:54:28 +0100 |
| commit | 89fd8a66c987703801288300a78376cdf140c198 (patch) | |
| tree | d5b73fcc631f6af1942935f7ac9fd9b2c4ed48b1 /src/server/requests.odin | |
| parent | e86f46836c66a3c55dbf321fa58c95a7bd237414 (diff) | |
Add fallback in `odin check` to try all directory with odin code in them.
Diffstat (limited to 'src/server/requests.odin')
| -rw-r--r-- | src/server/requests.odin | 12 |
1 files changed, 2 insertions, 10 deletions
diff --git a/src/server/requests.odin b/src/server/requests.odin index a877c69..00b649b 100644 --- a/src/server/requests.odin +++ b/src/server/requests.odin @@ -695,6 +695,7 @@ request_initialize :: proc( ) } + for format in initialize_params.capabilities.textDocument.hover.contentFormat { if format == "markdown" { config.hover_support_md = true @@ -1180,16 +1181,7 @@ notification_did_save :: proc( log.errorf("failed to collect symbols on save %v", ret) } - if len(config.profile.checker_path) > 0 { - check(config.profile.checker_path[:], writer, config) - } else { - if uri, ok := common.parse_uri( - config.workspace_folders[0].uri, - context.temp_allocator, - ); ok { - check({uri.path}, writer, config) - } - } + check(config.profile.checker_path[:], writer, config) return .None } |