diff options
Diffstat (limited to 'ext/bg/data')
| -rw-r--r-- | ext/bg/data/options-schema.json | 41 |
1 files changed, 39 insertions, 2 deletions
diff --git a/ext/bg/data/options-schema.json b/ext/bg/data/options-schema.json index 17fe096c..e9677e95 100644 --- a/ext/bg/data/options-schema.json +++ b/ext/bg/data/options-schema.json @@ -341,13 +341,28 @@ "default": [ { "include": "shift", - "exclude": "" + "exclude": "", + "types": { + "mouse": true, + "touch": false, + "pen": false + } + }, + { + "include": "", + "exclude": "", + "types": { + "mouse": false, + "touch": true, + "pen": true + } } ], "items": { "required": [ "include", - "exclude" + "exclude", + "types" ], "properties": { "include": { @@ -357,6 +372,28 @@ "exclude": { "type": "string", "default": "" + }, + "types": { + "type": "object", + "required": [ + "mouse", + "touch", + "pen" + ], + "properties": { + "mouse": { + "type": "boolean", + "default": true + }, + "touch": { + "type": "boolean", + "default": true + }, + "pen": { + "type": "boolean", + "default": true + } + } } } } |