From 72b6dd1ae99bfd0d86a7569da165de35987096c7 Mon Sep 17 00:00:00 2001 From: orangemug Date: Sun, 20 Oct 2019 11:12:54 +0100 Subject: [PATCH] Fix lint errors. --- src/components/layers/JSONEditor.jsx | 1 + 1 file changed, 1 insertion(+) diff --git a/src/components/layers/JSONEditor.jsx b/src/components/layers/JSONEditor.jsx index 5621459..34a2fb6 100644 --- a/src/components/layers/JSONEditor.jsx +++ b/src/components/layers/JSONEditor.jsx @@ -19,6 +19,7 @@ import '../../vendor/codemirror/addon/lint/json-lint' class JSONEditor extends React.Component { static propTypes = { layer: PropTypes.object.isRequired, + maxHeight: PropTypes.number, onChange: PropTypes.func, }