mirror of
https://github.com/maputnik/editor.git
synced 2026-08-24 14:07:33 +00:00
Fix lint errors.
This commit is contained in:
@@ -19,6 +19,7 @@ import '../../vendor/codemirror/addon/lint/json-lint'
|
|||||||
class JSONEditor extends React.Component {
|
class JSONEditor extends React.Component {
|
||||||
static propTypes = {
|
static propTypes = {
|
||||||
layer: PropTypes.object.isRequired,
|
layer: PropTypes.object.isRequired,
|
||||||
|
maxHeight: PropTypes.number,
|
||||||
onChange: PropTypes.func,
|
onChange: PropTypes.func,
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user