|
@@ -8,14 +8,14 @@ window.CodeMirror = require('codemirror');
|
|
|
require('codemirror/addon/display/placeholder');
|
|
require('codemirror/addon/display/placeholder');
|
|
|
require('~/client/util/codemirror/gfm-growi.mode');
|
|
require('~/client/util/codemirror/gfm-growi.mode');
|
|
|
|
|
|
|
|
-interface UncontrolledCodeMirrorProps extends AbstractEditorProps {
|
|
|
|
|
|
|
+export interface UncontrolledCodeMirrorProps extends AbstractEditorProps {
|
|
|
value: string;
|
|
value: string;
|
|
|
options?: ICodeMirror['options'];
|
|
options?: ICodeMirror['options'];
|
|
|
isGfmMode?: boolean;
|
|
isGfmMode?: boolean;
|
|
|
lineNumbers?: boolean;
|
|
lineNumbers?: boolean;
|
|
|
}
|
|
}
|
|
|
|
|
|
|
|
-export interface UncontrolledCodeMirrorCoreProps extends UncontrolledCodeMirrorProps {
|
|
|
|
|
|
|
+interface UncontrolledCodeMirrorCoreProps extends UncontrolledCodeMirrorProps {
|
|
|
forwardedRef: Ref<UncontrolledCodeMirrorCore>;
|
|
forwardedRef: Ref<UncontrolledCodeMirrorCore>;
|
|
|
}
|
|
}
|
|
|
|
|
|