summaryrefslogtreecommitdiff
path: root/dev
diff options
context:
space:
mode:
authortoasted-nutbread <toasted-nutbread@users.noreply.github.com>2021-06-05 13:35:23 -0400
committerGitHub <noreply@github.com>2021-06-05 13:35:23 -0400
commit057283245e2a2ce55f89cacb42067b8c93dd28cd (patch)
tree44fc999d5d82568bde61d83b31f1aab07231377c /dev
parent57fb496fbcd2c31a462c2090e2391594c1ca8215 (diff)
Add support for definitionless main dictionary (#1729)
Diffstat (limited to 'dev')
-rw-r--r--dev/translator-vm.js6
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;
}