diff options
author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2019-08-18 16:48:18 -0400 |
---|---|---|
committer | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2019-09-02 19:33:28 -0400 |
commit | 42ec3e2a43dfd9ac0748ca7c364cef2b44f625a2 (patch) | |
tree | c2f5790e4c499e1fe43a5d1377231455a46971f0 /ext/bg/settings.html | |
parent | 1a9348ec27b903af47511da11306f884a82cf353 (diff) |
Add support for popup on the search page
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 a0d08ec5..0005efa6 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"> + <label><input type="checkbox" id="enable-scanning-on-search-page"> Enable scanning on search page</label> + </div> + <div class="checkbox options-advanced"> <label><input type="checkbox" id="deep-dom-scan"> Deep DOM scan</label> </div> |