another fix for Workspace
This commit is contained in:
parent
b805af2056
commit
44bd5185a0
1 changed files with 1 additions and 1 deletions
|
|
@ -84,7 +84,7 @@ var Gutter = function(parentEl) {
|
||||||
};
|
};
|
||||||
for (var i=0; i<rowAnnotations.length; i++) {
|
for (var i=0; i<rowAnnotations.length; i++) {
|
||||||
var annotation = rowAnnotations[i];
|
var annotation = rowAnnotations[i];
|
||||||
rowInfo.text.push(annotation.text.replace(/"/g, """).replace(/'/g, "’").replace(/</, "<"));
|
rowInfo.text.push(annotation.text.replace(/"/g, """).replace(/'/g, "’").replace(/</, "<"));
|
||||||
var type = annotation.type;
|
var type = annotation.type;
|
||||||
if (type == "error")
|
if (type == "error")
|
||||||
rowInfo.className = "ace_error";
|
rowInfo.className = "ace_error";
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue