diff options
| author | DanielGavin <danielgavin5@hotmail.com> | 2025-10-04 16:57:06 +0200 |
|---|---|---|
| committer | DanielGavin <danielgavin5@hotmail.com> | 2025-10-04 16:57:06 +0200 |
| commit | a64577d5c90b88bfba6461c5aec671cc8b3c5851 (patch) | |
| tree | 786125c8a59d61ddc90e4b05f0e79f5e8beba154 /src/server/requests.odin | |
| parent | f252aad41d51df05abab2a00490d8e7f16bc488d (diff) | |
Move the deletion of the uri to the request itself.
Diffstat (limited to 'src/server/requests.odin')
| -rw-r--r-- | src/server/requests.odin | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/server/requests.odin b/src/server/requests.odin index 49119aa..89fd347 100644 --- a/src/server/requests.odin +++ b/src/server/requests.odin @@ -1047,6 +1047,8 @@ notification_did_open :: proc( push_diagnostics(writer) + delete(open_params.textDocument.uri) + return .None } |