export declare const Tooltip: undefined;
export declare const CharacterCount: undefined;
export declare const EditorContent: undefined;
export declare const useEditor: undefined;
export declare const EditorState: undefined;
export declare const Text: undefined;
export declare const EditorView: undefined;
export declare const autocompletion: undefined;
export declare const bracketMatching: undefined;
export declare const closeBrackets: undefined;
export declare const closeBracketsKeymap: undefined;
export declare const completionKeymap: undefined;
export declare const crosshairCursor: undefined;
export declare const css: undefined;
export declare const defaultHighlightStyle: undefined;
export declare const defaultKeymap: undefined;
export declare const drawSelection: undefined;
export declare const dropCursor: undefined;
export declare const foldGutter: undefined;
export declare const foldKeymap: undefined;
export declare const highlightActiveLine: undefined;
export declare const highlightActiveLineGutter: undefined;
export declare const highlightSelectionMatches: undefined;
export declare const highlightSpecialChars: undefined;
export declare const indentOnInput: undefined;
export declare const javascript: undefined;
export declare const keymap: undefined;
export declare const lineNumbers: undefined;
export declare const lintKeymap: undefined;
export declare const rectangularSelection: undefined;
export declare const searchKeymap: undefined;
export declare const syntaxHighlighting: undefined;
declare const optionalsHistory: undefined;
export { optionalsHistory as history };
export declare const historyKeymap: undefined;