diff options
| author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2019-11-23 23:23:08 -0500 |
|---|---|---|
| committer | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2019-12-07 14:34:35 -0500 |
| commit | b862035fbc20449786a14f3f0b82828b8eb73c5c (patch) | |
| tree | 2d806305704946a7a916f69ab9f35da17d8a00c3 /ext/bg/settings.html | |
| parent | 1a0a345ae745781b6fb1d066df334b641a9cc00b (diff) | |
Show info about whether a dictionary supports wildcard searches
Diffstat (limited to 'ext/bg/settings.html')
| -rw-r--r-- | ext/bg/settings.html | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/ext/bg/settings.html b/ext/bg/settings.html index ac19a020..ea34b208 100644 --- a/ext/bg/settings.html +++ b/ext/bg/settings.html @@ -550,6 +550,9 @@ <div class="checkbox options-advanced"> <label><input type="checkbox" class="dict-allow-secondary-searches"> Allow secondary searches</label> </div> + <div class="checkbox dict-prefix-wildcard-searches-supported-container"> + <label><input type="checkbox" class="dict-prefix-wildcard-searches-supported" disabled> Prefix wildcard searches supported</label> + </div> <div class="form-group options-advanced"> <label class="dict-result-priority-label">Result priority</label> <input type="number" class="form-control dict-priority"> |