aboutsummaryrefslogtreecommitdiff
path: root/ext/bg/options.html
diff options
context:
space:
mode:
authorAlex Yatskov <alex@foosoft.net>2017-01-04 21:33:23 -0800
committerAlex Yatskov <alex@foosoft.net>2017-01-04 21:33:23 -0800
commit86e39efe281f8b09e199d7e2ddc05e77d5add140 (patch)
treeeb060b55fa5f026e80b6d9ecd643514f39cb6ec5 /ext/bg/options.html
parent8615d5f497ab595b72e1e1d666c4a373eb5a5940 (diff)
checkbox for grouping term results
Diffstat (limited to 'ext/bg/options.html')
-rw-r--r--ext/bg/options.html4
1 files changed, 4 insertions, 0 deletions
diff --git a/ext/bg/options.html b/ext/bg/options.html
index 7ad5ea5c..bc0302a2 100644
--- a/ext/bg/options.html
+++ b/ext/bg/options.html
@@ -38,6 +38,10 @@
</div>
<div class="checkbox">
+ <label><input type="checkbox" id="group-term-results"> Group term results</label>
+ </div>
+
+ <div class="checkbox">
<label><input type="checkbox" id="show-advanced-options"> Show advanced options</label>
</div>
</div>