From e2523c569e3eaf88153322b21877ef1d08bfa88b Mon Sep 17 00:00:00 2001 From: Alasdair Smith Date: Thu, 7 Sep 2017 17:45:16 +0100 Subject: [PATCH] Filter linting warnings --- .../web/public/coffee/ide/editor/directives/aceEditor.coffee | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)