(from, to)
| 1560 | else lineDiv.parentNode.style.marginLeft = 0; |
| 1561 | } |
| 1562 | function wrappingChanged(from, to) { |
| 1563 | if (options.lineWrapping) { |
| 1564 | wrapper.className += " CodeMirror-wrap"; |
| 1565 | var perLine = scroller.clientWidth / charWidth() - 3; |
| 1566 | doc.iter(0, doc.size, function(line) { |
| 1567 | if (line.hidden) return; |
| 1568 | var guess = Math.ceil(line.text.length / perLine) || 1; |
| 1569 | if (guess != 1) updateLineHeight(line, guess); |
| 1570 | }); |
| 1571 | lineSpace.style.width = code.style.width = ""; |
| 1572 | } else { |
| 1573 | wrapper.className = wrapper.className.replace(" CodeMirror-wrap", ""); |
| 1574 | maxWidth = null; maxLine = ""; |
| 1575 | doc.iter(0, doc.size, function(line) { |
| 1576 | if (line.height != 1 && !line.hidden) updateLineHeight(line, 1); |
| 1577 | if (line.text.length > maxLine.length) maxLine = line.text; |
| 1578 | }); |
| 1579 | } |
| 1580 | changes.push({from: 0, to: doc.size}); |
| 1581 | } |
| 1582 | function makeTab(col) { |
| 1583 | var w = options.tabSize - col % options.tabSize, cached = tabCache[w]; |
| 1584 | if (cached) return cached; |
nothing calls this directly
no test coverage detected