diff --git a/services/web/public/coffee/ide/editor/directives/aceEditor.coffee b/services/web/public/coffee/ide/editor/directives/aceEditor.coffee
index 7660178182..b6455d8e93 100644
--- a/services/web/public/coffee/ide/editor/directives/aceEditor.coffee
+++ b/services/web/public/coffee/ide/editor/directives/aceEditor.coffee
@@ -378,7 +378,7 @@ define [
 					session.on('changeAnnotation', () ->
 						hasErrors = session
 							.getAnnotations()
-							.filter((annotation) -> annotation.type == 'error')
+							.filter((annotation) -> annotation.fromLinting && annotation.type == 'error')
 							.length > 0
 
 						if ($rootScope.hasLintingError != hasErrors)