V1.10

yzt

2023-05-05 634ab285812bcc3eb802cacb9ec54f489bc2728f

1
2
3
4
5
6
7
8
9
10
// 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
}