Fix terminal profile schema to allow null in keybinding id (#19332)

Fixes the terminal profile jsonschema to allow for null in the id. This
is to match the current implementation when disabling a built in default
keybind.
This commit is contained in:
John Cavanaugh
2025-09-11 11:06:33 -07:00
committed by GitHub
parent 384932183f
commit eb16eb26ab

View File

@@ -2302,8 +2302,15 @@
"additionalProperties": false, "additionalProperties": false,
"properties": { "properties": {
"id": { "id": {
"description": "The ID of the command this keybinding should execute.", "description": "The ID of the command this keybinding should execute (or null to disable a default).",
"type": "string" "oneOf": [
{
"type": "string"
},
{
"type": "null"
}
]
}, },
"keys": { "keys": {
"description": "Defines the key combinations used to call the command. It must be composed of...\n -any number of modifiers (ctrl/alt/shift)\n -a non-modifier key", "description": "Defines the key combinations used to call the command. It must be composed of...\n -any number of modifiers (ctrl/alt/shift)\n -a non-modifier key",