aboutsummaryrefslogtreecommitdiff
path: root/src/server/requests.odin
diff options
context:
space:
mode:
authorDanielGavin <danielgavin5@hotmail.com>2024-03-10 21:54:28 +0100
committerDanielGavin <danielgavin5@hotmail.com>2024-03-10 21:54:28 +0100
commit89fd8a66c987703801288300a78376cdf140c198 (patch)
treed5b73fcc631f6af1942935f7ac9fd9b2c4ed48b1 /src/server/requests.odin
parente86f46836c66a3c55dbf321fa58c95a7bd237414 (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.odin12
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
}