Skip to content

Commit 0da181a

Browse files
committed
Fix bug
1 parent 0ab63b2 commit 0da181a

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

src/requests/textdocument.jl

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -400,7 +400,7 @@ function try_to_load_parents(child_path, server)
400400
end
401401

402402
function publish_diagnostics(uris::Vector{URI}, server, conn, source)
403-
JuliaWorkspaces.get_files_with_updated_diagnostics(server.workspace)
403+
jw_diagnostics_updated, jw_diagnostics_deleted = JuliaWorkspaces.get_files_with_updated_diagnostics(server.workspace)
404404

405405
all_uris_with_updates = Set{URI}()
406406

@@ -433,7 +433,7 @@ function publish_diagnostics(uris::Vector{URI}, server, conn, source)
433433
if JuliaWorkspaces.has_file(server.workspace, uri)
434434
st = JuliaWorkspaces.get_text_file(server.workspace, uri).content
435435

436-
JuliaWorkspaces.get_diagnostic(server.workspace, uri)
436+
new_diags = JuliaWorkspaces.get_diagnostic(server.workspace, uri)
437437

438438
append!(diags, Diagnostic(
439439
Range(st, i.range),

0 commit comments

Comments
 (0)