diff options
Diffstat (limited to 'public/vendor/codemirror/addon/lint/lint.js')
| -rw-r--r-- | public/vendor/codemirror/addon/lint/lint.js | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/public/vendor/codemirror/addon/lint/lint.js b/public/vendor/codemirror/addon/lint/lint.js index 01f322b5..e3a45276 100644 --- a/public/vendor/codemirror/addon/lint/lint.js +++ b/public/vendor/codemirror/addon/lint/lint.js @@ -204,7 +204,8 @@ var annotations = []; for (var i = 0; i < spans.length; ++i) { - annotations.push(spans[i].__annotation); + var ann = spans[i].__annotation; + if (ann) annotations.push(ann); } if (annotations.length) popupTooltips(annotations, e); } |