mirror of
https://github.com/earendil-works/pi.git
synced 2026-06-18 15:54:04 +08:00
feat: add terminal input hook for extensions
This commit is contained in:
committed by
Mario Zechner
Unverified
parent
6da488a5aa
commit
30fd99bd82
@@ -100,6 +100,7 @@ export type {
|
||||
SlashCommandInfo,
|
||||
SlashCommandLocation,
|
||||
SlashCommandSource,
|
||||
TerminalInputHandler,
|
||||
ToolCallEvent,
|
||||
ToolDefinition,
|
||||
ToolInfo,
|
||||
|
||||
Reference in New Issue
Block a user