Reviewed Highlighter and Options waiters

This commit is contained in:
n1474335 2023-01-19 17:14:24 +00:00
parent 934efcc5a0
commit fa21768931
3 changed files with 16 additions and 27 deletions

View file

@ -72,7 +72,6 @@ class HighlighterWaiter {
}
}
/**
* Displays highlight offsets sent back from the Chef.
*
@ -89,7 +88,6 @@ class HighlighterWaiter {
this.highlight(io, pos);
}
/**
* Sends selection updates to the relevant EditorView.
*
@ -129,9 +127,8 @@ class HighlighterWaiter {
} catch (err) {
// Ignore Range Errors
if (!err.toString().startsWith("RangeError")) {
console.error(err);
log.error(err);
}
}
}
}