Skip to content

Commit

Permalink
Fix bug
Browse files Browse the repository at this point in the history
  • Loading branch information
davidanthoff committed Aug 23, 2024
1 parent 0ab63b2 commit 0da181a
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/requests/textdocument.jl
Original file line number Diff line number Diff line change
Expand Up @@ -400,7 +400,7 @@ function try_to_load_parents(child_path, server)
end

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

all_uris_with_updates = Set{URI}()

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

JuliaWorkspaces.get_diagnostic(server.workspace, uri)
new_diags = JuliaWorkspaces.get_diagnostic(server.workspace, uri)

append!(diags, Diagnostic(
Range(st, i.range),
Expand Down

0 comments on commit 0da181a

Please sign in to comment.