diff options
Diffstat (limited to 'ext/js/pages')
| -rw-r--r-- | ext/js/pages/settings/dictionary-controller.js | 3 | 
1 files changed, 2 insertions, 1 deletions
| diff --git a/ext/js/pages/settings/dictionary-controller.js b/ext/js/pages/settings/dictionary-controller.js index dcbe0988..6f37798c 100644 --- a/ext/js/pages/settings/dictionary-controller.js +++ b/ext/js/pages/settings/dictionary-controller.js @@ -117,7 +117,7 @@ class DictionaryEntry {      }      _showDetails() { -        const {title, revision, version} = this._dictionaryInfo; +        const {title, revision, version, prefixWildcardsSupported} = this._dictionaryInfo;          const modal = this._dictionaryController.modalController.getModal('dictionary-details'); @@ -125,6 +125,7 @@ class DictionaryEntry {          modal.node.querySelector('.dictionary-version').textContent = `rev.${revision}`;          modal.node.querySelector('.dictionary-outdated-notification').hidden = (version >= 3);          modal.node.querySelector('.dictionary-counts').textContent = this._counts !== null ? JSON.stringify(this._counts, null, 4) : ''; +        modal.node.querySelector('.dictionary-prefix-wildcard-searches-supported').checked = prefixWildcardsSupported;          this._setupDetails(modal.node.querySelector('.dictionary-details-table'));          modal.setVisible(true); |