From 49a456425d301a08b2058a5877e039533d539670 Mon Sep 17 00:00:00 2001
From: Timur Bazhirov <timur@exabyte.io>
Date: Thu, 22 Jun 2023 09:26:28 -0700
Subject: [PATCH] chore: update Codemirror.js

---
 editor/js/Codemirror.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/editor/js/Codemirror.js b/editor/js/Codemirror.js
index 1e2ca1f33bfc6..741baea656aa2 100644
--- a/editor/js/Codemirror.js
+++ b/editor/js/Codemirror.js
@@ -3,6 +3,7 @@ import { EditorView, keymap } from '@codemirror/view';
 import { javascript } from '@codemirror/lang-javascript';
 import { EditorState } from '@codemirror/state';
 import { oneDark } from '@codemirror/theme-one-dark';
+//NOTE: aren't importing `Linter` here b/c eslint-prebuilt package is 1.5MB in webapp bundle
 import { lintGutter } from '@codemirror/lint';
 import { indentWithTab } from '@codemirror/commands';