summaryrefslogtreecommitdiff
path: root/ext/bg/settings.html
diff options
context:
space:
mode:
authorAlex Yatskov <alex@foosoft.net>2017-09-16 23:08:43 -0700
committerAlex Yatskov <alex@foosoft.net>2017-09-16 23:08:43 -0700
commit9280985306f5a9c79b9bd2c4daea596a5ec78ae5 (patch)
tree3feed98555c924983bbea83187ea35f8657bbc68 /ext/bg/settings.html
parent5a531541238b52ba56475ae3f91873bd1b8a9d10 (diff)
add option to automatically hide search results (fixes #71)
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 0a5c205c..c2612967 100644
--- a/ext/bg/settings.html
+++ b/ext/bg/settings.html
@@ -96,6 +96,10 @@
<label><input type="checkbox" id="search-alphanumeric"> Search alphanumeric text</label>
</div>
+ <div class="checkbox">
+ <label><input type="checkbox" id="auto-hide-results"> Automatically hide results</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">