Settings scanning refactor (#809)

* Move option for scanning.touchInputEnabled, make advanced

* Rename
This commit is contained in:
toasted-nutbread 2020-09-11 16:14:32 -04:00 committed by GitHub
parent 0c2f0aa4eb
commit 6afbda8dfe
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -386,10 +386,6 @@
<div> <div>
<h3>Scanning Options</h3> <h3>Scanning Options</h3>
<div class="checkbox">
<label><input type="checkbox" id="touch-input-enabled" data-setting="scanning.touchInputEnabled"> Touch input enabled</label>
</div>
<div class="checkbox"> <div class="checkbox">
<label><input type="checkbox" id="select-matched-text" data-setting="scanning.selectText"> Select matched text</label> <label><input type="checkbox" id="select-matched-text" data-setting="scanning.selectText"> Select matched text</label>
</div> </div>
@ -407,7 +403,11 @@
</div> </div>
<div class="checkbox options-advanced"> <div class="checkbox options-advanced">
<label><input type="checkbox" id="deep-dom-scan" data-setting="scanning.deepDomScan"> Deep DOM scan</label> <label><input type="checkbox" id="touch-input-enabled" data-setting="scanning.touchInputEnabled"> Touch 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> </div>
<div class="form-group options-advanced"> <div class="form-group options-advanced">