saw_special_spans.js (253B)
1 // Optimize some code when these features are not used. 2 export let sawReadOnlySpans = false, sawCollapsedSpans = false 3 4 export function seeReadOnlySpans() { 5 sawReadOnlySpans = true 6 } 7 8 export function seeCollapsedSpans() { 9 sawCollapsedSpans = true 10 }