@@ -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