()
| 1348 | } |
| 1349 | |
| 1350 | function loadMode() { |
| 1351 | mode = CodeMirror.getMode(options, options.mode); |
| 1352 | doc.iter(0, doc.size, function(line) { line.stateAfter = null; }); |
| 1353 | work = [0]; |
| 1354 | startWorker(); |
| 1355 | } |
| 1356 | function gutterChanged() { |
| 1357 | var visible = options.gutter || options.lineNumbers; |
| 1358 | gutter.style.display = visible ? "" : "none"; |
no test coverage detected