(cm)
| 289 | } |
| 290 | |
| 291 | function estimateLineHeights(cm) { |
| 292 | var doc = cm.doc, est = estimateHeight(cm); |
| 293 | doc.iter(function(line) { |
| 294 | var estHeight = est(line); |
| 295 | if (estHeight != line.height) updateLineHeight(line, estHeight); |
| 296 | }); |
| 297 | } |
| 298 | |
| 299 | function themeChanged(cm) { |
| 300 | cm.display.wrapper.className = cm.display.wrapper.className.replace(/\s*cm-s-\S+/g, "") + |
no test coverage detected