Update CodeMirror to version 5.15.3
This commit is contained in:
4
public/vendor/codemirror/addon/lint/lint.css
vendored
4
public/vendor/codemirror/addon/lint/lint.css
vendored
@@ -4,10 +4,10 @@
|
||||
}
|
||||
|
||||
.CodeMirror-lint-tooltip {
|
||||
background-color: infobackground;
|
||||
background-color: #ffd;
|
||||
border: 1px solid black;
|
||||
border-radius: 4px 4px 4px 4px;
|
||||
color: infotext;
|
||||
color: black;
|
||||
font-family: monospace;
|
||||
font-size: 10pt;
|
||||
overflow: hidden;
|
||||
|
||||
3
public/vendor/codemirror/addon/lint/lint.js
vendored
3
public/vendor/codemirror/addon/lint/lint.js
vendored
@@ -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);
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user