diff options
| author | siikamiika <siikamiika@users.noreply.github.com> | 2020-01-26 21:00:19 +0200 |
|---|---|---|
| committer | siikamiika <siikamiika@users.noreply.github.com> | 2020-02-02 13:57:30 +0200 |
| commit | b8326138a3254e82dd42e1517f371287bdfc6705 (patch) | |
| tree | 5655e89b2ff9548e462ddbf9043e658470b08c91 /ext/bg/settings.html | |
| parent | 24690ceb7c0fc2af9ebd33971dece22eb2bd1d03 (diff) | |
add scannable tags for expression and reading
Diffstat (limited to 'ext/bg/settings.html')
| -rw-r--r-- | ext/bg/settings.html | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/ext/bg/settings.html b/ext/bg/settings.html index 8c787aff..77bcc359 100644 --- a/ext/bg/settings.html +++ b/ext/bg/settings.html @@ -481,7 +481,7 @@ </p> <div class="checkbox"> - <label><input type="checkbox" id="enable-search-within-first-popup"> Enable search when clicking glossary entries</label> + <label><input type="checkbox" id="enable-search-within-first-popup"> Enable search when clicking glossary entries and tags</label> </div> <div class="checkbox"> @@ -492,6 +492,10 @@ <label><input type="checkbox" id="enable-scanning-of-popup-expressions"> Enable scanning of expressions in search results</label> </div> + <div class="checkbox"> + <label><input type="checkbox" id="enable-search-tags"> Enable clickable and scannable tags for searching expressions and their readings</label> + </div> + <div class="form-group"> <label for="popup-nesting-max-depth">Maximum number of additional popups</label> <input type="number" min="0" step="1" id="popup-nesting-max-depth" class="form-control"> |