Always use Linux line endings in Monaco.

lynxkite-app/src/lynxkite_app/crdt.py

@@ -100,7 +100,7 @@ class CodeWebsocketServer(WorkspaceWebsocketServer):
         if len(text) == 0:
             if os.path.exists(name):
                 with open(name, encoding="utf-8") as f:
-                    text += f.read()
+                    text += f.read().replace("\r\n", "\n")
         room = pycrdt_websocket.YRoom(
             ystore=ystore, ydoc=ydoc, exception_handler=ws_exception_handler
         )
@@ -279,9 +279,9 @@ async def execute(name: str, ws_crdt: pycrdt.Map, ws_pyd: workspace.Workspace, d
 
 
 async def code_changed(name: str, changes: pycrdt.TextEvent, text: pycrdt.Text):
-    text = text.strip() + "\n"
+    contents = str(text).strip() + "\n"
     with open(name, "w", encoding="utf-8") as f:
-        f.write(text)
+        f.write(contents)
 
 
 @contextlib.asynccontextmanager

lynxkite-app/web/src/Code.tsx

@@ -54,6 +54,7 @@ export default function Code() {
       path!,
       yDocRef.current,
     );
+    editorRef.current.getModel()!.setEOL(0); // https://github.com/yjs/y-monaco/issues/6
     monacoBindingRef.current = new yMonacoRef.current.MonacoBinding(
       text,
       editorRef.current.getModel()!,