mirror of
https://github.com/maputnik/editor.git
synced 2025-12-26 08:00:01 +00:00
Merge branch 'master' into matchingbrackets_addon
This commit is contained in:
@@ -107,18 +107,6 @@ class JSONEditor extends React.Component {
|
||||
}
|
||||
|
||||
render() {
|
||||
const codeMirrorOptions = {
|
||||
mode: {name: "javascript", json: true},
|
||||
tabSize: 2,
|
||||
theme: 'maputnik',
|
||||
viewportMargin: Infinity,
|
||||
lineNumbers: true,
|
||||
lint: true,
|
||||
matchBrackets: true,
|
||||
gutters: ["CodeMirror-lint-markers"],
|
||||
scrollbarStyle: "null",
|
||||
}
|
||||
|
||||
const style = {};
|
||||
if (this.props.maxHeight) {
|
||||
style.maxHeight = this.props.maxHeight;
|
||||
|
||||
@@ -124,6 +124,7 @@ export default class MapboxGlMap extends React.Component {
|
||||
container: this.container,
|
||||
style: this.props.mapStyle,
|
||||
hash: true,
|
||||
maxZoom: 24
|
||||
}
|
||||
|
||||
const map = new MapboxGl.Map(mapOpts);
|
||||
|
||||
Reference in New Issue
Block a user