maxmustermann/terminal
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Make schema compliant by fixing CloseTab* index definitions (#8547)

Browse source 
* The index field should be of type `"null"` and not `null`.
* The default value should be `null` and not `""`

Closes #8024
This commit is contained in:
Don-Vito 2020-12-11 06:26:56 +02:00 committed by GitHub
parent f751cad2cf
commit 4111be389d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
doc/cascadia/profiles.schema.json
View file

@ -453,9 +453,9 @@
"index": {
"oneOf": [
{ "type": "integer" },
{ "type": null }
{ "type": "null" }
],
"default": "",
"default": null,
"description": "Close the tabs other than the one at this index. If no index is provided, use the focused tab's index."
}
}
@ -472,9 +472,9 @@
"index": {
"oneOf": [
{ "type": "integer" },
{ "type": null }
{ "type": "null" }
],
"default": "",
"default": null,
"description": "Close the tabs following the tab at this index. If no index is provided, use the focused tab's index."
}
}