gradio/frontend

1import type { Extension } from "@codemirror/state";2import {3	lineNumbers,4	highlightSpecialChars,5	drawSelection,6	rectangularSelection,7	crosshairCursor,8	keymap9} from "@codemirror/view";10export { EditorView } from "@codemirror/view";11import { EditorState } from "@codemirror/state";12import {13	foldGutter,14	indentOnInput,15	syntaxHighlighting,16	defaultHighlightStyle,17	foldKeymap18} from "@codemirror/language";19import { history, defaultKeymap, historyKeymap } from "@codemirror/commands";20import {21	closeBrackets,22	closeBracketsKeymap,23	completionKeymap24} from "@codemirror/autocomplete";25import { lintKeymap } from "@codemirror/lint";26 27export const basicSetup: Extension = /*@__PURE__*/ ((): Extension[] => [28	highlightSpecialChars(),29	history(),30	foldGutter(),31	drawSelection(),32	EditorState.allowMultipleSelections.of(true),33	indentOnInput(),34	syntaxHighlighting(defaultHighlightStyle, { fallback: true }),35	closeBrackets(),36	rectangularSelection(),37	crosshairCursor(),38 39	keymap.of([40		...closeBracketsKeymap,41		...defaultKeymap,42		...historyKeymap,43		...foldKeymap,44		...completionKeymap,45		...lintKeymap46	])47])();48