From 59e05272a23b6dea669dc044be94ece1603aa605 Mon Sep 17 00:00:00 2001
From: June Kelly <june.kelly@overleaf.com>
Date: Tue, 8 Feb 2022 09:22:20 +0000
Subject: [PATCH] Merge pull request #6624 from
 overleaf/bg-cm6-autocompile-lint-check

[web] add cm6 hasLintingError support

GitOrigin-RevId: 9e531526003595cb5139623f929605a7fd0f59f8
---
 services/web/frontend/js/ide.js | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/services/web/frontend/js/ide.js b/services/web/frontend/js/ide.js
index 65270746d8..55c02203d5 100644
--- a/services/web/frontend/js/ide.js
+++ b/services/web/frontend/js/ide.js
@@ -402,6 +402,11 @@ If the project has been renamed please look in your project list for a new proje
     // Allow service worker to be removed via the websocket
     ide.$scope.$on('service-worker:unregister', unregisterServiceWorker)
 
+    // Listen for editor:lint event from CM6 linter
+    window.addEventListener('editor:lint', event => {
+      $scope.hasLintingError = event.detail.hasLintingError
+    })
+
     return ide.socket.on('project:publicAccessLevel:changed', data => {
       if (data.newAccessLevel != null) {
         ide.$scope.project.publicAccesLevel = data.newAccessLevel