src/Tools/VSCode/src/dynamic_output.scala

           val separate = Pretty.separate(st1.output)
           val formatted = Pretty.formatted(separate, margin = margin)
           val html = node_context.make_html(elements, formatted)
           channel.write(LSP.Dynamic_Output(HTML.source(html).toString))
         } else {
-          channel.write(LSP.Dynamic_Output(resources.output_pretty(st1.output, margin = margin)))
+          val output = resources.output_pretty(Pretty.separate(st1.output), margin = margin)
+          channel.write(LSP.Dynamic_Output(output))
         }
       }
       st1
     }
   }