Skip to content

Commit

Permalink
chore: update Codemirror.js
Browse files Browse the repository at this point in the history
  • Loading branch information
timurbazhirov committed Jun 22, 2023
1 parent 616f59f commit 49a4564
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions editor/js/Codemirror.js
Original file line number Diff line number Diff line change
Expand Up @@ -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';

Expand Down

0 comments on commit 49a4564

Please sign in to comment.