--- a/src/Tools/jEdit/src/simplifier_trace_dockable.scala Thu Nov 07 20:43:25 2024 +0100
+++ b/src/Tools/jEdit/src/simplifier_trace_dockable.scala Fri Nov 08 13:27:26 2024 +0100
@@ -41,8 +41,8 @@
context.questions.values.toList match {
case q :: _ =>
val data = q.data
- val content = Pretty.separate(XML.Text(data.text) :: data.content)
- pretty_text_area.update(snapshot, Command.Results.empty, content)
+ val output = List(Pretty.block(XML.Text(data.text) :: data.content, indent = 0))
+ pretty_text_area.update(snapshot, Command.Results.empty, output)
q.answers.foreach { answer =>
answers.contents += new GUI.Button(answer.string) {
override def clicked(): Unit =