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/js/settings | |
| parent | 1a0a345ae745781b6fb1d066df334b641a9cc00b (diff) | |
Show info about whether a dictionary supports wildcard searches
Diffstat (limited to 'ext/bg/js/settings')
| -rw-r--r-- | ext/bg/js/settings/dictionaries.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ext/bg/js/settings/dictionaries.js b/ext/bg/js/settings/dictionaries.js index 926b05b7..b5e663ea 100644 --- a/ext/bg/js/settings/dictionaries.js +++ b/ext/bg/js/settings/dictionaries.js @@ -189,6 +189,7 @@ class SettingsDictionaryEntryUI { this.content.querySelector('.dict-title').textContent = this.dictionaryInfo.title; this.content.querySelector('.dict-revision').textContent = `rev.${this.dictionaryInfo.revision}`; + this.content.querySelector('.dict-prefix-wildcard-searches-supported').checked = !!this.dictionaryInfo.prefixWildcardsSupported; this.applyValues(); |