Theia API Documentation v1.68.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/ai-ide
browser/todo-tool
TodoWriteTool
Class TodoWriteTool
Implements
ToolProvider
Index
Constructors
constructor
Properties
ID
Methods
get
Tool
Constructors
constructor
new
TodoWriteTool
()
:
TodoWriteTool
Returns
TodoWriteTool
Properties
Static
ID
ID
:
string
= TODO_WRITE_FUNCTION_ID
Methods
get
Tool
getTool
()
:
ToolRequest
Returns
ToolRequest
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Constructors
constructor
Properties
ID
Methods
get
Tool
Eclipse Theia Website
GitHub
Theia API Documentation v1.68.0
Loading...