(code)
| 339 | } |
| 340 | |
| 341 | function setValue(code) { |
| 342 | var top = {line: 0, ch: 0}; |
| 343 | updateLines(top, {line: doc.size - 1, ch: getLine(doc.size-1).text.length}, |
| 344 | splitLines(code), top, top); |
| 345 | updateInput = true; |
| 346 | } |
| 347 | function getValue() { |
| 348 | var text = []; |
| 349 | doc.iter(0, doc.size, function(line) { text.push(line.text); }); |
no test coverage detected