Przeglądaj źródła

chore: generate

GitHub Action 3 miesięcy temu
rodzic
commit
74cd5456b9
1 zmienionych plików z 5 dodań i 0 usunięć
  1. 5 0
      packages/sdk/openapi.json

+ 5 - 0
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