Function codesToHtml

ts/codediff/char-diffs.ts:171–182

(mapper: htmlTextMapper, codes: CharacterDiff[])

// codes are (span class, start, end) triples.
// This wraps html[start..end] in appropriate <span>..</span>s.
export function codesToHtml(mapper: htmlTextMapper, codes: CharacterDiff[]) {
  let html = '';
  for (const [type, start, limit] of codes) {
    const thisHtml = mapper.getHtmlSubstring(start, limit);
    if (type == null) {
      html += thisHtml;
    } else {
      html += '<span class="char-' + type + '">' + thisHtml + '</span>';
    }
  }
  return html;
}