Name	Size	Mode	Actions
highlight.js	10135	0644	editdlrm
line_data.js	14306	0644	editdlrm
pos.js	1528	0644	editdlrm
saw_special_spans.js	253	0644	editdlrm
spans.js	14349	0644	editdlrm
utils_line.js	2573	0644	editdlrm

// Optimize some code when these features are not used. export let sawReadOnlySpans = false, sawCollapsedSpans = false export function seeReadOnlySpans() { sawReadOnlySpans = true } export function seeCollapsedSpans() { sawCollapsedSpans = true }