summaryrefslogtreecommitdiff
path: root/public/vendor/codemirror/addon/lint/lint.js
diff options
context:
space:
mode:
authorCheng-Han, Wu2016-06-01 14:37:28 +0800
committerCheng-Han, Wu2016-06-01 14:37:28 +0800
commitfb70833bc52aedffa3ed0764a31b706dd1fb3250 (patch)
tree5d88e7b20afea400a8c11eb0dc07734df3381917 /public/vendor/codemirror/addon/lint/lint.js
parent16d5e3ea8020c839dd6e2dd192e8ccba71f39eed (diff)
Update CodeMirror to version 5.15.3
Diffstat (limited to 'public/vendor/codemirror/addon/lint/lint.js')
-rw-r--r--public/vendor/codemirror/addon/lint/lint.js3
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);
}