mirror of
https://github.com/hexedtech/codemp.git
synced 2024-11-21 23:04:49 +01:00
fix(lua): annotations for workspace event
This commit is contained in:
parent
b398c01137
commit
17bcbdf932
1 changed files with 3 additions and 2 deletions
5
dist/lua/annotations.lua
vendored
5
dist/lua/annotations.lua
vendored
|
@ -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
|
||||||
|
|
Loading…
Reference in a new issue