doc: Add tabColor to JSON schema (#9843)

This commit is contained in:
Kayla Cinnamon 2021-04-15 10:32:18 -07:00 committed by GitHub
parent 74909c0c65
commit 8bcb47339d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1347,6 +1347,11 @@
"type": "boolean",
"default": false
},
"tabColor": {
"$ref": "#/definitions/Color",
"description": "Sets the color of the profile's tab. Using the tab color picker will override this color.",
"type": ["string", "null"]
},
"tabTitle": {
"description": "If set, will replace the name as the title to pass to the shell on startup. Some shells (like bash) may choose to ignore this initial value, while others (cmd, powershell) may use this value over the lifetime of the application.",
"type": ["string", "null"]