fix empty typewriter containing two lines

leanprover-community · Oct 15, 2023 · d66546a · d66546a
1 parent caee719
commit d66546a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/client/src/components/level.tsx b/client/src/components/level.tsx
@@ -367,7 +367,7 @@ function PlayableLevel({impressum, setImpressum}) {
       let code = editor.getModel().getLinesContent().filter(line => line.trim())
       editor.executeEdits("typewriter", [{
         range: editor.getModel().getFullModelRange(),
-        text: code.join('\n')+'\n',
+        text: code.length ? code.join('\n') + '\n' : '',
         forceMoveMarkers: true
       }]);