import * as React from 'react'; import PureEditor from './PureEditor'; import FileTreeNode from '../../model/FileTreeNode'; interface Props { currentFile: FileTreeNode | null; tab: React.ReactNode; onChange: (value: string) => void; language: string; renderLoading?: () => React.ReactNode; onCreateFile: () => void; initEditor: (editor: any, monaco: any) => void; } interface State { } export default class Editor extends React.Component { editorInstance: PureEditor | null; constructor(props: any); handleChange: (value: any) => void; setSource: (source: string) => void; getSource: () => string | null; render(): JSX.Element; } export {};