@@ -5,12 +5,6 @@ export type ClientOptions = {
55}
66
77export type Event =
8- | EventTuiPromptAppend
9- | EventTuiCommandExecute
10- | EventTuiToastShow1
11- | EventTuiSessionSelect
12- | EventServerConnected
13- | EventGlobalDisposed
148 | EventServerInstanceDisposed
159 | EventFileEdited
1610 | EventFileWatcherUpdated
@@ -30,6 +24,10 @@ export type Event =
3024 | EventSessionStatus
3125 | EventSessionIdle
3226 | EventSessionCompacted
27+ | EventTuiPromptAppend
28+ | EventTuiCommandExecute
29+ | EventTuiToastShow1
30+ | EventTuiSessionSelect
3331 | EventMcpToolsChanged
3432 | EventMcpBrowserOpenFailed
3533 | EventCommandExecuted
@@ -77,6 +75,8 @@ export type Event =
7775 | EventSessionNextCompactionStarted
7876 | EventSessionNextCompactionDelta
7977 | EventSessionNextCompactionEnded
78+ | EventServerConnected
79+ | EventGlobalDisposed
8080
8181export type OAuth = {
8282 type : "oauth"
@@ -103,61 +103,6 @@ export type WellKnownAuth = {
103103
104104export type Auth = OAuth | ApiAuth | WellKnownAuth
105105
106- export type EventTuiPromptAppend = {
107- id : string
108- type : "tui.prompt.append"
109- properties : {
110- text : string
111- }
112- }
113-
114- export type EventTuiCommandExecute = {
115- id : string
116- type : "tui.command.execute"
117- properties : {
118- command :
119- | "session.list"
120- | "session.new"
121- | "session.share"
122- | "session.interrupt"
123- | "session.compact"
124- | "session.page.up"
125- | "session.page.down"
126- | "session.line.up"
127- | "session.line.down"
128- | "session.half.page.up"
129- | "session.half.page.down"
130- | "session.first"
131- | "session.last"
132- | "prompt.clear"
133- | "prompt.submit"
134- | "agent.cycle"
135- | string
136- }
137- }
138-
139- export type EventTuiToastShow = {
140- id : string
141- type : "tui.toast.show"
142- properties : {
143- title ?: string
144- message : string
145- variant : "info" | "success" | "warning" | "error"
146- duration ?: number
147- }
148- }
149-
150- export type EventTuiSessionSelect = {
151- id : string
152- type : "tui.session.select"
153- properties : {
154- /**
155- * Session ID to navigate to
156- */
157- sessionID : string
158- }
159- }
160-
161106export type PermissionRequest = {
162107 id : string
163108 sessionID : string
@@ -335,6 +280,61 @@ export type SessionStatus =
335280 type : "busy"
336281 }
337282
283+ export type EventTuiPromptAppend = {
284+ id : string
285+ type : "tui.prompt.append"
286+ properties : {
287+ text : string
288+ }
289+ }
290+
291+ export type EventTuiCommandExecute = {
292+ id : string
293+ type : "tui.command.execute"
294+ properties : {
295+ command :
296+ | "session.list"
297+ | "session.new"
298+ | "session.share"
299+ | "session.interrupt"
300+ | "session.compact"
301+ | "session.page.up"
302+ | "session.page.down"
303+ | "session.line.up"
304+ | "session.line.down"
305+ | "session.half.page.up"
306+ | "session.half.page.down"
307+ | "session.first"
308+ | "session.last"
309+ | "prompt.clear"
310+ | "prompt.submit"
311+ | "agent.cycle"
312+ | string
313+ }
314+ }
315+
316+ export type EventTuiToastShow = {
317+ id : string
318+ type : "tui.toast.show"
319+ properties : {
320+ title ?: string
321+ message : string
322+ variant : "info" | "success" | "warning" | "error"
323+ duration ?: number
324+ }
325+ }
326+
327+ export type EventTuiSessionSelect = {
328+ id : string
329+ type : "tui.session.select"
330+ properties : {
331+ /**
332+ * Session ID to navigate to
333+ */
334+ sessionID : string
335+ }
336+ }
337+
338338export type Project = {
339339 id : string
340340 worktree : string
@@ -778,12 +778,6 @@ export type GlobalEvent = {
778778 project ?: string
779779 workspace ?: string
780780 payload :
781- | EventTuiPromptAppend
782- | EventTuiCommandExecute
783- | EventTuiToastShow
784- | EventTuiSessionSelect
785- | EventServerConnected
786- | EventGlobalDisposed
787781 | EventServerInstanceDisposed
788782 | EventFileEdited
789783 | EventFileWatcherUpdated
@@ -803,6 +797,10 @@ export type GlobalEvent = {
803797 | EventSessionStatus
804798 | EventSessionIdle
805799 | EventSessionCompacted
800+ | EventTuiPromptAppend
801+ | EventTuiCommandExecute
802+ | EventTuiToastShow
803+ | EventTuiSessionSelect
806804 | EventMcpToolsChanged
807805 | EventMcpBrowserOpenFailed
808806 | EventCommandExecuted
@@ -850,6 +848,8 @@ export type GlobalEvent = {
850848 | EventSessionNextCompactionStarted
851849 | EventSessionNextCompactionDelta
852850 | EventSessionNextCompactionEnded
851+ | EventServerConnected
852+ | EventGlobalDisposed
853853 | SyncEventMessageUpdated
854854 | SyncEventMessageRemoved
855855 | SyncEventMessagePartUpdated
@@ -2318,22 +2318,6 @@ export type SyncEventSessionNextCompactionEnded = {
23182318 }
23192319}
23202320
2321- export type EventServerConnected = {
2322- id : string
2323- type : "server.connected"
2324- properties : {
2325- [ key : string ] : unknown
2326- }
2327- }
2328-
2329- export type EventGlobalDisposed = {
2330- id : string
2331- type : "global.disposed"
2332- properties : {
2333- [ key : string ] : unknown
2334- }
2335- }
2336-
23372321export type EventServerInstanceDisposed = {
23382322 id : string
23392323 type : "server.instance.disposed"
@@ -3048,6 +3032,22 @@ export type EventSessionNextCompactionEnded = {
30483032 }
30493033}
30503034
3035+ export type EventServerConnected = {
3036+ id : string
3037+ type : "server.connected"
3038+ properties : {
3039+ [ key : string ] : unknown
3040+ }
3041+ }
3042+
3043+ export type EventGlobalDisposed = {
3044+ id : string
3045+ type : "global.disposed"
3046+ properties : {
3047+ [ key : string ] : unknown
3048+ }
3049+ }
3050+
30513051export type SessionInfo = {
30523052 id : string
30533053 parentID ?: string
0 commit comments