use advanced wrapping strategy #21

leanprover-community · May 14, 2024 · 52dcd80 · 52dcd80
1 parent f3c128d
commit 52dcd80
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/client/src/Editor.tsx b/client/src/Editor.tsx
@@ -88,6 +88,7 @@ const Editor: React.FC<{setRestart?, onDidChangeContent?, value: string, theme:
       theme: 'vs',
       wordWrap: config.wordWrap ? "on" : "off",
       fontFamily: "JuliaMono",
+      wrappingStrategy: "advanced"
     })
     setEditor(editor)
     const abbrevRewriter = new AbbreviationRewriter(new AbbreviationProvider(), model, editor)