in error_highlighter.js [58:64]
function decorateError(totalOffset, screenOffset, str) { if (totalOffset === err.offset) { return errColor(stripColor(str)); } else { return str; } }