diff --git a/services/web/public/coffee/ide/editor/directives/aceEditor.coffee b/services/web/public/coffee/ide/editor/directives/aceEditor.coffee index 0b22e75221..40ae0bb06f 100644 --- a/services/web/public/coffee/ide/editor/directives/aceEditor.coffee +++ b/services/web/public/coffee/ide/editor/directives/aceEditor.coffee @@ -382,7 +382,7 @@ define [ # autocompile we are guaranteed to get linter errors hasErrors = session .getAnnotations() - .filter((annotation) -> annotation.type == 'error') + .filter((annotation) -> annotation.type != 'info') .length > 0 if ($rootScope.hasLintingError != hasErrors)