in error_highlighter.js [44:56]
function decorateRangedError(totalOffset, screenOffset, str) {
if (totalOffset === err.offset) {
within = totalOffset !== err.endOffset-1;
return errColor(stripColor(str));
} else if (totalOffset === err.endOffset-1) {
within = false;
return errColor(stripColor(str));
} else if (within) {
return errColor(stripColor(str));
} else {
return str;
}
}