| Current Path : /var/www/html/reddsis/node_modules/codemirror/src/line/ |
| Current File : /var/www/html/reddsis/node_modules/codemirror/src/line/saw_special_spans.js |
// 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
}