reduxjs/redux-devtools
1
1
Fork 0
mirror of https://github.com/reduxjs/redux-devtools.git synced 2025-07-27 08:30:02 +03:00
Code Issues Packages Projects Releases Wiki Activity

Fix type

Browse Source
This commit is contained in:
Nathan Bierema 2021-08-27 17:35:08 -04:00
parent 9011d3871c
commit 7bb1d345f4
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
packages/devui/src/Editor/Editor.tsx
View File

@ -1,7 +1,7 @@
import React, { Component } from 'react'; import React, { Component } from 'react';
import PropTypes from 'prop-types'; import PropTypes from 'prop-types';
import styled from 'styled-components'; import styled from 'styled-components';
import CodeMirror from 'codemirror'; import CodeMirror, { EditorChange } from 'codemirror';
import { Base16Theme } from 'base16'; import { Base16Theme } from 'base16';
import { defaultStyle, themedStyle } from './styles'; import { defaultStyle, themedStyle } from './styles';
import { Theme } from '../themes/default'; import { Theme } from '../themes/default';
@ -23,7 +23,7 @@ export interface EditorProps {
theme?: Base16Theme; theme?: Base16Theme;
foldGutter: boolean; foldGutter: boolean;
autofocus: boolean; autofocus: boolean;
onChange?: (value: string, change: CodeMirror.EditorChangeLinkedList) => void; onChange?: (value: string, change: EditorChange) => void;
} }
/** /**