From 74cd5456b9c2ddd5d83cfe2edd670de5e8672839 Mon Sep 17 00:00:00 2001
From: GitHub Action <action@github.com>
Date: Tue, 23 Dec 2025 19:29:05 +0000
Subject: [PATCH] chore: generate

---
 packages/sdk/openapi.json | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/packages/sdk/openapi.json b/packages/sdk/openapi.json
index 999a89ecbd..b484819950 100644
--- a/packages/sdk/openapi.json
+++ b/packages/sdk/openapi.json
@@ -7657,6 +7657,11 @@
             "description": "Toggle terminal title",
             "default": "none",
             "type": "string"
+          },
+          "tips_toggle": {
+            "description": "Toggle tips on home screen",
+            "default": "<leader>h",
+            "type": "string"
           }
         },
         "additionalProperties": false