Searched refs:linetext (Results 1 – 1 of 1) sorted by relevance
16 highlight (content, syntax, linetext) { argument 21 const parsed = matcher.headers.isHeader(linetext);25 content.textContent = linetext;37 const head = linetext.substring(0, pos_start);38 const tail = linetext.substring(pos_end);