|
|
|
@ -8,7 +8,11 @@ import {
|
|
|
|
lineNumbers, highlightActiveLineGutter,
|
|
|
|
lineNumbers, highlightActiveLineGutter,
|
|
|
|
EditorView
|
|
|
|
EditorView
|
|
|
|
} from '@codemirror/view'
|
|
|
|
} from '@codemirror/view'
|
|
|
|
import {EditorState} from '@codemirror/state'
|
|
|
|
import {
|
|
|
|
|
|
|
|
EditorState,
|
|
|
|
|
|
|
|
Compartment,
|
|
|
|
|
|
|
|
StateEffect
|
|
|
|
|
|
|
|
} from '@codemirror/state'
|
|
|
|
import {
|
|
|
|
import {
|
|
|
|
defaultHighlightStyle,
|
|
|
|
defaultHighlightStyle,
|
|
|
|
syntaxHighlighting,
|
|
|
|
syntaxHighlighting,
|
|
|
|
@ -47,6 +51,8 @@ window.CodeMirrorBasic = {
|
|
|
|
EditorView,
|
|
|
|
EditorView,
|
|
|
|
// @codemirror/state
|
|
|
|
// @codemirror/state
|
|
|
|
EditorState,
|
|
|
|
EditorState,
|
|
|
|
|
|
|
|
Compartment,
|
|
|
|
|
|
|
|
StateEffect,
|
|
|
|
// @codemirror/language
|
|
|
|
// @codemirror/language
|
|
|
|
defaultHighlightStyle,
|
|
|
|
defaultHighlightStyle,
|
|
|
|
syntaxHighlighting,
|
|
|
|
syntaxHighlighting,
|
|
|
|
|