Skip to content

Commit

Permalink
Fix a bug
Browse files Browse the repository at this point in the history
  • Loading branch information
davidanthoff committed Jul 23, 2024
1 parent d4c6bfc commit d8bf74c
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/requests/workspace.jl
Original file line number Diff line number Diff line change
Expand Up @@ -44,14 +44,14 @@ function workspace_didChangeWatchedFiles_notification(params::DidChangeWatchedFi
doc = getdocument(server, uri)

if !get_open_in_editor(doc)
set_text_document!(doc, TextDocument(uri, text_document.content.content, 0))
set_text_document!(doc, TextDocument(uri, text_file.content.content, 0))
set_is_workspace_file(doc, true)

parse_all(doc, server)
push!(docs_to_lint, doc)
end
else
doc = Document(TextDocument(uri, text_document.content.content, 0), true, server)
doc = Document(TextDocument(uri, text_file.content.content, 0), true, server)
setdocument!(server, uri, doc)

parse_all(doc, server)
Expand Down

0 comments on commit d8bf74c

Please sign in to comment.