diff options
| author | Darius Jahandarie <djahandarie@gmail.com> | 2023-12-06 03:53:16 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-12-06 03:53:16 +0000 |
| commit | bd5bc1a5db29903bc098995cd9262c4576bf76af (patch) | |
| tree | c9214189e0214480fcf6539ad1c6327aef6cbd1c /ext/data/schemas/options-schema.json | |
| parent | fd6bba8a2a869eaf2b2c1fa49001f933fce3c618 (diff) | |
| parent | 23e6fb76319c9ed7c9bcdc3efba39bc5dd38f288 (diff) | |
Merge pull request #339 from toasted-nutbread/type-annotations
Type annotations
Diffstat (limited to 'ext/data/schemas/options-schema.json')
| -rw-r--r-- | ext/data/schemas/options-schema.json | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/ext/data/schemas/options-schema.json b/ext/data/schemas/options-schema.json index 8ccbfa94..7c131ecc 100644 --- a/ext/data/schemas/options-schema.json +++ b/ext/data/schemas/options-schema.json @@ -541,9 +541,12 @@ "searchKanji", "scanOnTouchMove", "scanOnTouchPress", + "scanOnTouchRelease", "scanOnPenMove", "scanOnPenHover", "scanOnPenReleaseHover", + "scanOnPenPress", + "scanOnPenRelease", "preventTouchScrolling", "preventPenScrolling" ], |