diff --git a/packages/form-js-playground/src/components/JSONEditor.js b/packages/form-js-playground/src/components/JSONEditor.js index 72ffe881e..82ea89e1b 100644 --- a/packages/form-js-playground/src/components/JSONEditor.js +++ b/packages/form-js-playground/src/components/JSONEditor.js @@ -40,12 +40,12 @@ export function JSONEditor(options = {}) { autocompletionExtension(), keymap.of([ indentWithTab ]), editorPlaceholder ? placeholder(editorPlaceholder) : [], + EditorState.readOnly.of(readonly), EditorView.updateListener.of(update => { if (update.docChanged) { emitter.emit('changed', { value: update.state.doc.toString() }); } }), - EditorView.editable.of(!readonly), EditorView.contentAttributes.of(contentAttributes) ];