diff options
| author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2019-08-25 21:13:17 -0400 |
|---|---|---|
| committer | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2019-09-02 19:33:52 -0400 |
| commit | 71471d08e56f1a2431e67d0439724cc52a1ea73e (patch) | |
| tree | e6562c5418195c4254026f3a34c41bea2500c1a7 /ext/bg/settings.html | |
| parent | 3491affcf13ef10b78714d4955da6ee9aeb11457 (diff) | |
Add option to enable/disable scanning of source expressions in popups
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 0005efa6..85b7ee5f 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="enable-scanning-of-popup-expressions"> Enable scanning of popup expressions</label> + </div> + <div class="checkbox"> <label><input type="checkbox" id="enable-scanning-on-search-page"> Enable scanning on search page</label> </div> |