diff options
| author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2019-08-31 22:12:21 -0400 |
|---|---|---|
| committer | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2019-09-02 11:43:48 -0400 |
| commit | 171e3f1097a86b993ba1e16c07c4ad6d5bff75ee (patch) | |
| tree | e04ec6758f7988037d077859c37e49eb6a487df3 /ext/bg/settings.html | |
| parent | 737a5ee8a814bc89ac40f99264e8835c47f77387 (diff) | |
Add option for enabling deep scanning
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 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"> |