1#@!#!123s

22527 1#@!#!123s

: / usr / share / nodejs / codemirror / src / line /

Filename : saw_special_spans.js

back

// 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
}