mirror of
https://github.com/microsoft/terminal.git
synced 2025-12-10 18:43:54 -06:00
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. (cherry picked from commit eb16eb26ab5d0c3f36a1a2084edcceacdf2a99f9) Service-Card-Id: PVTI_lADOAF3p4s4AxadtzgemwL4 Service-Version: 1.23