update ternserver when no custom def is available (#9472)

This commit is contained in:
Favour Ohanekwu 2021-12-01 04:50:15 +01:00 committed by GitHub
parent 0a4e1a3e6d
commit a9527f3e49
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -11,6 +11,8 @@ export const bindingHint: HintHelper = (editor, dataTree, customDataTree) => {
if (customDataTree) {
const customTreeDef = customTreeTypeDefCreator(customDataTree);
TernServer.updateDef("customDataTree", customTreeDef);
} else {
TernServer.updateDef("customDataTree", {});
}
editor.setOption("extraKeys", {