()
| 966 | } |
| 967 | |
| 968 | function computeMaxLength() { |
| 969 | var maxLineLength = 0; |
| 970 | maxLine = ""; maxWidth = null; |
| 971 | doc.iter(0, doc.size, function(line) { |
| 972 | var l = line.text; |
| 973 | if (!line.hidden && l.length > maxLineLength) { |
| 974 | maxLineLength = l.length; maxLine = l; |
| 975 | } |
| 976 | }); |
| 977 | maxLengthChanged = false; |
| 978 | } |
| 979 | |
| 980 | function replaceRange(code, from, to) { |
| 981 | from = clipPos(from); |