Merge pull request #59 from hexedtech/fix/lua-annotations

fix(lua): annotations for workspace event
This commit is contained in:
əlemi 2024-10-26 19:36:00 +02:00 committed by GitHub
commit aaa4e551eb
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -324,8 +324,9 @@ function Workspace:fetch_users(path) end
function Workspace:fetch_buffer_users(path) end function Workspace:fetch_buffer_users(path) end
---@class (exact) WorkspaceEvent ---@class (exact) WorkspaceEvent
---@field type string ---@field type string can be "UserJoin", "UserLeave" or "FileTreeUpdated"
---@field value string ---@field name? string present for "UserJoin" and "UserLeave"
---@field path? string present for "FileTreeUpdated"
---@return MaybeWorkspaceEventPromise ---@return MaybeWorkspaceEventPromise
---@async ---@async