starred/windmill
1
0
Fork 0
mirror of https://github.com/windmill-labs/windmill.git synced 2026-09-05 00:03:08 +00:00
Code Issues Packages Projects Releases Wiki Activity

feat(frontend): make diff editor editable (#1999)

Browse Source
This commit is contained in:
HugoCasa
2023-08-07 12:40:17 +02:00
committed by GitHub
parent 2913ecacdc
commit 2b542832a8
1 changed files with 1 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
frontend/src/lib/components/DiffEditor.svelte
+1 -2
View File
@@ -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
},