diff options
author | bobzel <zzzman@gmail.com> | 2022-10-18 15:07:31 -0400 |
---|---|---|
committer | bobzel <zzzman@gmail.com> | 2022-10-18 15:07:31 -0400 |
commit | 0e3892e63758accd7dae274072ad7893934c3624 (patch) | |
tree | a41432ddd9e7f4970199b6d0845db311186ed9f9 /src/client/util/SettingsManager.tsx | |
parent | 880023cb520f82fa1bfd4740450a18e86e817b0f (diff) |
cleaned up gestureutils a bit. added recognize gestures option, but it probably shouldn't be used until the geometry gesture recognition descriptions are improved.
Diffstat (limited to 'src/client/util/SettingsManager.tsx')
-rw-r--r-- | src/client/util/SettingsManager.tsx | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/client/util/SettingsManager.tsx b/src/client/util/SettingsManager.tsx index a185c8936..92032a8f9 100644 --- a/src/client/util/SettingsManager.tsx +++ b/src/client/util/SettingsManager.tsx @@ -186,6 +186,10 @@ export class SettingsManager extends React.Component<{}> { <input type="checkbox" onChange={e => FontIconBox.SetShowLabels(!FontIconBox.GetShowLabels())} checked={FontIconBox.GetShowLabels()} /> <div className="preferences-check">Show button labels</div> </div> + <div> + <input type="checkbox" onChange={e => FontIconBox.SetRecognizeGesturs(!FontIconBox.GetRecognizeGestures())} checked={FontIconBox.GetRecognizeGestures()} /> + <div className="preferences-check">Recognize ink Gesturs</div> + </div> </div> ); } |