(cm)
| 282 | } |
| 283 | |
| 284 | function estimateLineHeights(cm) { |
| 285 | var doc = cm.doc, est = estimateHeight(cm); |
| 286 | doc.iter(function(line) { |
| 287 | var estHeight = est(line); |
| 288 | if (estHeight != line.height) updateLineHeight(line, estHeight); |
| 289 | }); |
| 290 | } |
| 291 | |
| 292 | function themeChanged(cm) { |
| 293 | cm.display.wrapper.className = cm.display.wrapper.className.replace(/\s*cm-s-\S+/g, "") + |
no test coverage detected