()
| 766 | } |
| 767 | |
| 768 | function computeMaxLength() { |
| 769 | var maxLineLength = 0; |
| 770 | maxLine = ""; maxWidth = null; |
| 771 | doc.iter(0, doc.size, function(line) { |
| 772 | var l = line.text; |
| 773 | if (!line.hidden && l.length > maxLineLength) { |
| 774 | maxLineLength = l.length; maxLine = l; |
| 775 | } |
| 776 | }); |
| 777 | maxLengthChanged = false; |
| 778 | } |
| 779 | |
| 780 | function replaceRange(code, from, to) { |
| 781 | from = clipPos(from); |