diff options
| author | Alex Yatskov <alex@foosoft.net> | 2017-04-08 18:01:36 -0700 |
|---|---|---|
| committer | Alex Yatskov <alex@foosoft.net> | 2017-04-08 18:01:36 -0700 |
| commit | d263a93d446096abfc33e47f591dbb71eb7fe928 (patch) | |
| tree | e01643ee126dce24b0f8baae00a40b01e50dbf94 /ext/bg/options.html | |
| parent | a551b0d462585e7420153c266435b214f134617f (diff) | |
usage guide
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 0e73178a..e6c5e8be 100644 --- a/ext/bg/options.html +++ b/ext/bg/options.html @@ -26,6 +26,10 @@ <h3>General Options</h3> <div class="checkbox"> + <label><input type="checkbox" id="show-usage-guide"> Show usage guide on startup</label> + </div> + + <div class="checkbox"> <label><input type="checkbox" id="group-terms-results"> Group term results</label> </div> |