Filter out "source: compile' annotations (#5324)

GitOrigin-RevId: f0febf42fa46a28b357b2c4c2768f2a9b543e609
2026-05-24 01:29:35 +02:00 · 2021-10-08 10:24:06 +01:00
parent b902bd9265
commit 4adf32cb43
1 changed files with 5 additions and 1 deletions
--- 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)