diff options
author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2021-06-05 13:35:23 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-06-05 13:35:23 -0400 |
commit | 057283245e2a2ce55f89cacb42067b8c93dd28cd (patch) | |
tree | 44fc999d5d82568bde61d83b31f1aab07231377c /dev | |
parent | 57fb496fbcd2c31a462c2090e2391594c1ca8215 (diff) |
Add support for definitionless main dictionary (#1729)
Diffstat (limited to 'dev')
-rw-r--r-- | dev/translator-vm.js | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/dev/translator-vm.js b/dev/translator-vm.js index 8397b65e..f68b25db 100644 --- a/dev/translator-vm.js +++ b/dev/translator-vm.js @@ -170,6 +170,12 @@ class TranslatorVM extends DatabaseVM { enabledDictionaryMap = new Map(enabledDictionaryMap); options.enabledDictionaryMap = enabledDictionaryMap; } + const {excludeDictionaryDefinitions} = options; + options.excludeDictionaryDefinitions = ( + Array.isArray(excludeDictionaryDefinitions) ? + new Set(excludeDictionaryDefinitions) : + null + ); return options; } |