diff options
Diffstat (limited to 'packages')
| -rw-r--r-- | packages/sdk/openapi.json | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/packages/sdk/openapi.json b/packages/sdk/openapi.json index 588b130b9..10dd7365c 100644 --- a/packages/sdk/openapi.json +++ b/packages/sdk/openapi.json @@ -7647,6 +7647,11 @@ "description": "Toggle terminal title", "default": "none", "type": "string" + }, + "tips_toggle": { + "description": "Toggle tips on home screen", + "default": "<leader>h", + "type": "string" } }, "additionalProperties": false |