From 2b542832a82b91abc2b0d08f69547e9db4bd0cac Mon Sep 17 00:00:00 2001 From: HugoCasa Date: Mon, 7 Aug 2023 12:40:17 +0200 Subject: [PATCH] feat(frontend): make diff editor editable (#1999) --- frontend/src/lib/components/DiffEditor.svelte | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/frontend/src/lib/components/DiffEditor.svelte b/frontend/src/lib/components/DiffEditor.svelte index fe5357a254..8816de7a00 100644 --- a/frontend/src/lib/components/DiffEditor.svelte +++ b/frontend/src/lib/components/DiffEditor.svelte @@ -24,8 +24,7 @@ diffEditor = meditor.createDiffEditor(diffDivEl!, { automaticLayout, renderSideBySide: editorWidth >= SIDE_BY_SIDE_MIN_WIDTH, - domReadOnly: true, - readOnly: true, + originalEditable: false, minimap: { enabled: false },