diff options
| author | Folke Lemaitre <folke.lemaitre@gmail.com> | 2024-06-04 18:54:16 +0200 |
|---|---|---|
| committer | Folke Lemaitre <folke.lemaitre@gmail.com> | 2024-06-04 18:59:02 +0200 |
| commit | 87581bec1983083426e9fa7e5b157be969edf40d (patch) | |
| tree | 843fb532d1f999266992f34b66fffc60c583f4a3 | |
| parent | e2ca72dd54da1cafda36ff9e1266526fec54081f (diff) | |
| download | lua-language-server-87581bec1983083426e9fa7e5b157be969edf40d.zip | |
don't do diagnostics when workspace is not ready
| -rw-r--r-- | changelog.md | 1 | ||||
| -rw-r--r-- | script/provider/diagnostic.lua | 3 |
2 files changed, 4 insertions, 0 deletions
diff --git a/changelog.md b/changelog.md index 315fa729..80052eb2 100644 --- a/changelog.md +++ b/changelog.md @@ -2,6 +2,7 @@ ## Unreleased <!-- Add all new changes here. They will be moved under a version at release --> +* `FIX` Don't do diagnostics when the workspace is not ready * `NEW` Reference workspace symbols in comments using `[some text](lua://symbolName)` syntax ## 3.9.0 diff --git a/script/provider/diagnostic.lua b/script/provider/diagnostic.lua index 37c88bb6..c52c7e89 100644 --- a/script/provider/diagnostic.lua +++ b/script/provider/diagnostic.lua @@ -246,6 +246,9 @@ local function isValid(uri) if not config.get(uri, 'Lua.diagnostics.enable') then return false end + if not ws.isReady(uri) then + return false + end if files.isLibrary(uri, true) then local status = config.get(uri, 'Lua.diagnostics.libraryFiles') if status == 'Disable' then |