fix(lua): annotations for workspace event

hexedtech · Oct 26, 2024 · 17bcbdf · 17bcbdf
1 parent b398c01
commit 17bcbdf
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/dist/lua/annotations.lua b/dist/lua/annotations.lua
@@ -324,8 +324,9 @@ function Workspace:fetch_users(path) end
 function Workspace:fetch_buffer_users(path) end
 
 ---@class (exact) WorkspaceEvent
----@field type string
----@field value string
+---@field type string can be "UserJoin", "UserLeave" or "FileTreeUpdated"
+---@field name? string present for "UserJoin" and "UserLeave"
+---@field path? string present for "FileTreeUpdated"
 
 ---@return MaybeWorkspaceEventPromise
 ---@async