mirror of
https://github.com/reduxjs/redux-devtools.git
synced 2025-07-17 11:42:29 +03:00
Update
This commit is contained in:
parent
d74d301afc
commit
40bc412d62
|
@ -18,7 +18,7 @@ const EditorContainer = styled.div(
|
||||||
);
|
);
|
||||||
|
|
||||||
export interface EditorProps {
|
export interface EditorProps {
|
||||||
value: string;
|
value?: string;
|
||||||
lineNumbers?: boolean;
|
lineNumbers?: boolean;
|
||||||
readOnly?: boolean;
|
readOnly?: boolean;
|
||||||
theme?: Base16Theme;
|
theme?: Base16Theme;
|
||||||
|
@ -28,7 +28,7 @@ export interface EditorProps {
|
||||||
}
|
}
|
||||||
|
|
||||||
export default function Editor({
|
export default function Editor({
|
||||||
value,
|
value = '',
|
||||||
lineNumbers = true,
|
lineNumbers = true,
|
||||||
readOnly = false,
|
readOnly = false,
|
||||||
foldGutter = true,
|
foldGutter = true,
|
||||||
|
|
Loading…
Reference in New Issue
Block a user