Merge pull request #1347 from glacambre/relieve_1345

commandline_frame.ts: Catch errors in refresh_completions
This commit is contained in:
Oliver Blanthorn 2019-02-11 20:51:18 +00:00 committed by GitHub
commit 952a2537b6
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -250,7 +250,7 @@ export function refresh_completions(exstr) {
if (!activeCompletions) enableCompletions()
return Promise.all(
activeCompletions.map(comp => comp.filter(exstr).then(resizeArea)),
)
).catch(err => console.error(err)) // We can't use the regular logging mechanism because the user is using the command line.
}
/** @hidden **/