From 4adf32cb43ba73f027d4ce2e5c8e9f4d65eab697 Mon Sep 17 00:00:00 2001
From: Alf Eaton <alf.eaton@overleaf.com>
Date: Fri, 8 Oct 2021 10:24:06 +0100
Subject: [PATCH] Filter out "source: compile' annotations (#5324)

GitOrigin-RevId: f0febf42fa46a28b357b2c4c2768f2a9b543e609
---
 services/web/frontend/js/ide/editor/directives/aceEditor.js | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/services/web/frontend/js/ide/editor/directives/aceEditor.js b/services/web/frontend/js/ide/editor/directives/aceEditor.js
index 8144f8f08d..89c1bf52b7 100644
--- a/services/web/frontend/js/ide/editor/directives/aceEditor.js
+++ b/services/web/frontend/js/ide/editor/directives/aceEditor.js
@@ -843,7 +843,11 @@ App.directive(
             const hasErrors =
               session
                 .getAnnotations()
-                .filter(annotation => annotation.type !== 'info').length > 0
+                .filter(
+                  annotation =>
+                    annotation.type !== 'info' &&
+                    annotation.source !== 'compile'
+                ).length > 0
 
             if ($rootScope.hasLintingError !== hasErrors) {
               return ($rootScope.hasLintingError = hasErrors)