diff options
| author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2020-09-13 11:33:10 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-13 11:33:10 -0400 |
| commit | 5b49cf439866cc742c0cda37eb3d8a7200fc6860 (patch) | |
| tree | 970e3bc00a0373e675948a5d90f7f5f50ccf921f /ext/bg/settings.html | |
| parent | efd0de6bc070c0c1476fef9d5a5434dbc108901e (diff) | |
Pointer events support (#819)
* Add option pointerEventsEnabled
* Add _pointerEventsEnabled option to TextScanner
* Add additional options
* Mouse pointer events
* Touch pointer events
* Pen pointer events
Diffstat (limited to 'ext/bg/settings.html')
| -rw-r--r-- | ext/bg/settings.html | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/ext/bg/settings.html b/ext/bg/settings.html index cc6f93e0..cc209c8a 100644 --- a/ext/bg/settings.html +++ b/ext/bg/settings.html @@ -407,6 +407,10 @@ </div> <div class="checkbox options-advanced"> + <label><input type="checkbox" data-setting="scanning.pointerEventsEnabled"> Pointer events input enabled</label> + </div> + + <div class="checkbox options-advanced"> <label><input type="checkbox" id="deep-dom-scan" data-setting="scanning.deepDomScan"> Deep content scan</label> </div> |