diff --git a/docs/mrs/Ace_color/ext-scrollbar.js b/docs/mrs/Ace_color/ext-scrollbar.js index f9c8a11b..6cbdf362 100644 --- a/docs/mrs/Ace_color/ext-scrollbar.js +++ b/docs/mrs/Ace_color/ext-scrollbar.js @@ -122,7 +122,7 @@ classname = function (classname) { //console.log("editor.getSession().getAnnotations().length",editor.getSession().getAnnotations().length); for (let i = 0; i < e.getSession().getAnnotations().length; i=i+1) { if(editor.getSession().getAnnotations()[i].type=="info"){ - alarm += "
" + alarm += "
" } if(editor.getSession().getAnnotations()[i].type=="error"){ alarm += "
"