diff options
author | precondition <57645186+precondition@users.noreply.github.com> | 2022-12-13 12:20:07 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-12-13 22:20:07 +1100 |
commit | 515dd18c2801663bbac0e59f683c2a93e4bd9b1a (patch) | |
tree | a60fa641a1d5e0e3ff08fbb0a6718c8aa5280f15 /data/schemas/keyboard.jsonschema | |
parent | ca13734f912e64c632daf816e700b1b176d0ac8e (diff) |
Remove IGNORE_MOD_TAP_INTERRUPT_PER_KEY in favour of HOLD_ON_OTHER_KEY_PRESS_PER_KEY (#15741)
Diffstat (limited to 'data/schemas/keyboard.jsonschema')
-rw-r--r-- | data/schemas/keyboard.jsonschema | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/data/schemas/keyboard.jsonschema b/data/schemas/keyboard.jsonschema index 7844bfd579..513564a643 100644 --- a/data/schemas/keyboard.jsonschema +++ b/data/schemas/keyboard.jsonschema @@ -620,7 +620,6 @@ "force_hold": {"type": "boolean"}, "force_hold_per_key": {"type": "boolean"}, "ignore_mod_tap_interrupt": {"type": "boolean"}, - "ignore_mod_tap_interrupt_per_key": {"type": "boolean"}, "hold_on_other_key_press": {"type": "boolean"}, "hold_on_other_key_press_per_key": {"type": "boolean"}, "permissive_hold": {"type": "boolean"}, |