command `lua.exportDocument`

finish #1833

1 files changed, 15 insertions, 0 deletions

diff --git a/script/workspace/workspace.lua b/script/workspace/workspace.lua
index aabe0c78..7031064b 100644
--- a/script/workspace/workspace.lua
+++ b/script/workspace/workspace.lua
@@ -536,11 +536,26 @@ function m.awaitReady(uri)
 end
 
 ---@param uri uri
+---@return boolean
 function m.isReady(uri)
     local scp = scope.getScope(uri)
     return scp:get('ready') == true
 end
 
+---@return boolean
+function m.isAllReady()
+    local scp = scope.fallback
+    if not scp:get 'ready' then
+        return false
+    end
+    for _, folder in ipairs(scope.folders) do
+        if not folder:get 'ready' then
+            return false
+        end
+    end
+    return true
+end
+
 function m.getLoadingProcess(uri)
     local scp = scope.getScope(uri)
     ---@type workspace.loading