new setting `Lua.diagnostics.workspaceEvent`

set the time to trigger workspace diagnostics.
resolve #1626

1 files changed, 16 insertions, 0 deletions

diff --git a/script/provider/provider.lua b/script/provider/provider.lua
index 2225588a..7386ded0 100644
--- a/script/provider/provider.lua
+++ b/script/provider/provider.lua
@@ -312,6 +312,22 @@ m.register 'textDocument/didChange' {
     end
 }
 
+m.register 'textDocument/didSave' {
+    capability = {
+        textDocumentSync = {
+            save = {
+                includeText = false,
+            },
+        }
+    },
+    ---@async
+    function (params)
+        local doc    = params.textDocument
+        local uri    = files.getRealUri(doc.uri)
+        files.onWatch('save', uri)
+    end
+}
+
 m.register 'textDocument/hover' {
     capability = {
         hoverProvider = true,