diff options
Diffstat (limited to 'script/provider/diagnostic.lua')
| -rw-r--r-- | script/provider/diagnostic.lua | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/script/provider/diagnostic.lua b/script/provider/diagnostic.lua index ebbe3e36..37c88bb6 100644 --- a/script/provider/diagnostic.lua +++ b/script/provider/diagnostic.lua @@ -275,7 +275,7 @@ local function isValid(uri) end ---@async -function m.doDiagnostic(uri, isScopeDiag) +function m.doDiagnostic(uri, isScopeDiag, ignoreFileState) if not isValid(uri) then return end @@ -348,7 +348,7 @@ function m.doDiagnostic(uri, isScopeDiag) lastDiag[#lastDiag] = nil end end - end) + end, ignoreFileState) lastDiag = nil pushResult() @@ -575,7 +575,7 @@ function m.awaitDiagnosticsScope(suri, callback) finished = true end -function m.diagnosticsScope(uri, force) +function m.diagnosticsScope(uri, force, ignoreFileOpenState) if not ws.isReady(uri) then return end @@ -592,7 +592,7 @@ function m.diagnosticsScope(uri, force) await.call(function () ---@async await.sleep(0.0) m.awaitDiagnosticsScope(uri, function (fileUri) - xpcall(m.doDiagnostic, log.error, fileUri, true) + xpcall(m.doDiagnostic, log.error, fileUri, true, ignoreFileOpenState) end) end, id) end |