From aeaa79d29129af3c259354d9642e24625d4cce3f Mon Sep 17 00:00:00 2001
From: Eric <ciregenz@berkeley.edu>
Date: Wed, 27 May 2026 20:13:29 -0700
Subject: [PATCH] [eric] fix: ablate codemirror to a textarea on
 windows-electron since editorview mounts the same contenteditable that
 segfaults the renderer

---
 frontend/src/app/pages/Views/CodeEditor.tsx | 29 ++++++++++++++++++++-
 1 file changed, 28 insertions(+), 1 deletion(-)

diff --git a/frontend/src/app/pages/Views/CodeEditor.tsx b/frontend/src/app/pages/Views/CodeEditor.tsx
index a0c2b8d3..4e90e15c 100644
--- a/frontend/src/app/pages/Views/CodeEditor.tsx
+++ b/frontend/src/app/pages/Views/CodeEditor.tsx
@@ -26,6 +26,9 @@ const langExtension = (lang: Language) => {
   }
 };
 
+// Windows-Electron: CodeMirror's EditorView mounts a contenteditable surface internally; same Chromium 144 TSF crash as EditorSurface. Skip CodeMirror entirely on Windows and render a plain <textarea> (no syntax highlighting, but no segfault).
+const IS_WIN_ELECTRON = typeof navigator !== 'undefined' && navigator.userAgent.includes('Windows') && navigator.userAgent.includes('Electron');
+
 const CodeEditor: React.FC<Props> = ({ value, onChange, language, placeholder }) => {
   const containerRef = useRef<HTMLDivElement>(null);
   const viewRef = useRef<EditorView | null>(null);
@@ -56,7 +59,7 @@ const CodeEditor: React.FC<Props> = ({ value, onChange, language, placeholder })
   }, [language, mode, placeholder]);
 
   useEffect(() => {
-    if (!containerRef.current) return;
+    if (IS_WIN_ELECTRON || !containerRef.current) return;
 
     const state = EditorState.create({ doc: value, extensions });
     const view = new EditorView({ state, parent: containerRef.current });
@@ -70,6 +73,7 @@ const CodeEditor: React.FC<Props> = ({ value, onChange, language, placeholder })
   }, [extensions]);
 
   useEffect(() => {
+    if (IS_WIN_ELECTRON) return;
     const view = viewRef.current;
     if (!view) return;
     const current = view.state.doc.toString();
@@ -80,6 +84,29 @@ const CodeEditor: React.FC<Props> = ({ value, onChange, language, placeholder })
     }
   }, [value]);
 
+  if (IS_WIN_ELECTRON) {
+    return (
+      <textarea
+        value={value}
+        onChange={(e) => onChange(e.target.value)}
+        placeholder={placeholder}
+        spellCheck={false}
+        style={{
+          width: '100%',
+          height: '100%',
+          background: 'transparent',
+          border: 'none',
+          outline: 'none',
+          resize: 'none',
+          padding: '8px',
+          fontFamily: 'ui-monospace, SFMono-Regular, "SF Mono", Menlo, Consolas, monospace',
+          fontSize: '13px',
+          color: mode === 'dark' ? '#fff' : '#000',
+        }}
+      />
+    );
+  }
+
   return <div ref={containerRef} style={{ height: '100%', width: '100%', overflow: 'hidden' }} />;
 };