+
{ currentDocumentId = docId; setEditorValue(documents[docId].content); saveEnabled = false; editor.setCursor({ line: 0, ch: editor.getLine(0).length }); editor.focus(); saveEnabled = true; $nextTick(() => editor.refresh()); })">
{ if($event.key === 'z' && $event.altKey){ lineWrapping = !lineWrapping; editor.setOption('lineWrapping', lineWrapping); } })" x-show="mode === 'code' || mode === 'both'" class="w-full h-1/2 md:w-1/2 md:h-full">