diff --git a/edit.js b/edit.js index 94b647aa..d8e8b076 100644 --- a/edit.js +++ b/edit.js @@ -881,10 +881,10 @@ function updateLintReport(cm, delay) { var changed = false; var fixedOldIssues = false; scope.forEach(function(cm) { - var state = cm.state.lint; + var state = cm.state.lint || {}; var oldMarkers = state.markedLast || {}; var newMarkers = {}; - var html = state.marked.length == 0 ? "" : "
" + + var html = !state.marked || state.marked.length == 0 ? "" : "" + state.marked.map(function(mark) { var info = mark.__annotation; var isActiveLine = info.from.line == cm.getCursor().line;