aboutsummaryrefslogtreecommitdiff
path: root/ext/bg/settings.html
diff options
context:
space:
mode:
authortoasted-nutbread <toasted-nutbread@users.noreply.github.com>2019-08-31 22:12:21 -0400
committertoasted-nutbread <toasted-nutbread@users.noreply.github.com>2019-09-02 11:43:48 -0400
commit171e3f1097a86b993ba1e16c07c4ad6d5bff75ee (patch)
treee04ec6758f7988037d077859c37e49eb6a487df3 /ext/bg/settings.html
parent737a5ee8a814bc89ac40f99264e8835c47f77387 (diff)
Add option for enabling deep scanning
Diffstat (limited to 'ext/bg/settings.html')
-rw-r--r--ext/bg/settings.html4
1 files changed, 4 insertions, 0 deletions
diff --git a/ext/bg/settings.html b/ext/bg/settings.html
index 778dcee0..cc140023 100644
--- a/ext/bg/settings.html
+++ b/ext/bg/settings.html
@@ -192,6 +192,10 @@
<label><input type="checkbox" id="auto-hide-results"> Automatically hide results</label>
</div>
+ <div class="checkbox options-advanced">
+ <label><input type="checkbox" id="deep-dom-scan"> Deep DOM scan</label>
+ </div>
+
<div class="form-group options-advanced">
<label for="scan-delay">Scan delay (in milliseconds)</label>
<input type="number" min="1" id="scan-delay" class="form-control">