Document todo tool (#11695)

This commit is contained in:
Tommaso Sciortino
2025-10-22 13:27:10 -07:00
committed by GitHub
parent b40f67b76a
commit 30dd2f1dfe
6 changed files with 76 additions and 0 deletions

View File

@@ -401,6 +401,18 @@ their corresponding top-level category object in your `settings.json` file.
- **Description:** A denylist of MCP servers to exclude.
- **Default:** `undefined`
#### `useSmartEdit`
- **`useSmartEdit`** (boolean):
- **Description:** Enable the smart-edit tool instead of the replace tool.
- **Default:** `true`
#### `useWriteTodos`
- **`useWriteTodos`** (boolean):
- **Description:** Enable the write_todos tool.
- **Default:** `false`
#### `security`
- **`security.folderTrust.enabled`** (boolean):