Added JSON linting back into <SourceTypeEditor/>

2025-12-31 10:30:00 +00:00 · 2020-04-20 11:07:08 +01:00
parent a0a91474de
commit 5ad74048bd
2 changed files with 29 additions and 0 deletions
--- a/src/components/sources/SourceTypeEditor.jsx
+++ b/src/components/sources/SourceTypeEditor.jsx
@@ -214,6 +214,11 @@ class GeoJSONSourceJSONEditor extends React.Component {
      <JSONEditor
        layer={this.props.source.data}
        maxHeight={200}
+        mode={{
+          name: "javascript",
+          json: true
+        }}
+        lint={true}
        onChange={data => {
          this.props.onChange({
            ...this.props.source,