mirror of
https://github.com/reduxjs/redux-devtools.git
synced 2026-01-09 02:01:19 +03:00
Update
This commit is contained in:
parent
9507accf31
commit
785e757b3d
|
|
@ -18,7 +18,7 @@ const EditorContainer = styled.div(
|
|||
);
|
||||
|
||||
export interface EditorProps {
|
||||
value: string;
|
||||
value?: string;
|
||||
lineNumbers?: boolean;
|
||||
readOnly?: boolean;
|
||||
theme?: Base16Theme;
|
||||
|
|
@ -28,7 +28,7 @@ export interface EditorProps {
|
|||
}
|
||||
|
||||
export default function Editor({
|
||||
value,
|
||||
value = '',
|
||||
lineNumbers = true,
|
||||
readOnly = false,
|
||||
foldGutter = true,
|
||||
|
|
|
|||
Loading…
Reference in New Issue
Block a user