diff options
| author | Joel Challis <git@zvecr.com> | 2022-06-10 11:44:23 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-10 11:44:23 +0100 |
| commit | 7baf9b3f357abe314fcd02e01c814f9516d66e89 (patch) | |
| tree | 91598b72a23500f17e081601d56fcb2ef1886d55 /data | |
| parent | d8ace624c8e6a3e5e49ad5f612f5222cb766542a (diff) | |
Promote label with newlines to lint error (#17347)
Diffstat (limited to 'data')
| -rw-r--r-- | data/schemas/keyboard.jsonschema | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/data/schemas/keyboard.jsonschema b/data/schemas/keyboard.jsonschema index dc5592220b..fd60920578 100644 --- a/data/schemas/keyboard.jsonschema +++ b/data/schemas/keyboard.jsonschema @@ -145,7 +145,10 @@ "type": "object", "additionalProperties": false, "properties": { - "label": {"type": "string"}, + "label": { + "type": "string", + "pattern": "^[^\\n]*$" + }, "matrix": { "type": "array", "minItems": 2, |