diff options
| author | Alex Yatskov <alex@foosoft.net> | 2017-01-04 21:33:23 -0800 |
|---|---|---|
| committer | Alex Yatskov <alex@foosoft.net> | 2017-01-04 21:33:23 -0800 |
| commit | 86e39efe281f8b09e199d7e2ddc05e77d5add140 (patch) | |
| tree | eb060b55fa5f026e80b6d9ecd643514f39cb6ec5 /ext/bg/options.html | |
| parent | 8615d5f497ab595b72e1e1d666c4a373eb5a5940 (diff) | |
checkbox for grouping term results
Diffstat (limited to 'ext/bg/options.html')
| -rw-r--r-- | ext/bg/options.html | 4 |
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> |