From 17bcbdf932d703483d0c0dc643734495df0701b3 Mon Sep 17 00:00:00 2001
From: alemi <me@alemi.dev>
Date: Sat, 26 Oct 2024 19:11:29 +0200
Subject: [PATCH] fix(lua): annotations for workspace event

---
 dist/lua/annotations.lua | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/dist/lua/annotations.lua b/dist/lua/annotations.lua
index df02187..5f91405 100644
--- 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