fix: make the JSON editor readonly truly readonly

Closes #1107
bpmn-io · Mar 27, 2024 · 8bf898a · 8bf898a
1 parent 98d0c36
commit 8bf898a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)
     ];