Fix for editors that don't use extra validation.

code-dot-org · May 18, 2021 · 7c640fd · 7c640fd
1 parent 5eae6e2
commit 7c640fd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/apps/src/code-studio/initializeCodeMirror.js b/apps/src/code-studio/initializeCodeMirror.js
@@ -116,7 +116,7 @@ function initializeCodeMirror(target, mode, options = {}) {
     lineWrapping: true,
     gutters: ['CodeMirror-lint-markers'],
     lint: {
-      getAnnotations,
+      getAnnotations: additionalAnnotations ? getAnnotations : undefined,
       onUpdateLinting
     }
   });