chore: generate
This commit is contained in:
parent
245a63e3cf
commit
b8c2f9db59
2 changed files with 30 additions and 0 deletions
|
|
@ -595,6 +595,13 @@ export type EventTuiToastShow = {
|
|||
}
|
||||
}
|
||||
|
||||
export type EventMcpToolsChanged = {
|
||||
type: "mcp.tools.changed"
|
||||
properties: {
|
||||
server: string
|
||||
}
|
||||
}
|
||||
|
||||
export type EventCommandExecuted = {
|
||||
type: "command.executed"
|
||||
properties: {
|
||||
|
|
@ -761,6 +768,7 @@ export type Event =
|
|||
| EventTuiPromptAppend
|
||||
| EventTuiCommandExecute
|
||||
| EventTuiToastShow
|
||||
| EventMcpToolsChanged
|
||||
| EventCommandExecuted
|
||||
| EventSessionCreated
|
||||
| EventSessionUpdated
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue