1.1 --- a/src/Tools/jEdit/src/jedit/StateViewDockable.scala	Sun Dec 06 20:50:07 2009 +0100
     1.2 +++ b/src/Tools/jEdit/src/jedit/StateViewDockable.scala	Mon Dec 07 00:05:21 2009 +0100
     1.3 @@ -72,8 +72,7 @@
     1.4    try_file("$ISABELLE_HOME/lib/html/isabelle.css") + "\n" +
     1.5  """
     1.6  body {
     1.7 -  white-space: pre;
     1.8 -  font-family: IsabelleMono;
     1.9 +  font-family: IsabelleText;
    1.10    font-size: 14pt;
    1.11  }
    1.12  """ +
    1.13 @@ -85,7 +84,7 @@
    1.14  """)))
    1.15    }
    1.16  
    1.17 -  val empty_body = XML.document_node(doc, HTML.body(Nil))
    1.18 +  val empty_body = XML.document_node(doc, XML.elem(HTML.BODY))
    1.19    doc.appendChild(empty_body)
    1.20  
    1.21    panel.setDocument(doc, rcontext)
    1.22 @@ -98,10 +97,16 @@
    1.23  
    1.24      val node =
    1.25        if (cmd == null) empty_body
    1.26 -      else XML.document_node(doc, HTML.body(
    1.27 -        cmd.results(theory_view.current_document).map((t: XML.Tree) => HTML.div(HTML.spans(t)))))
    1.28 -    doc.removeChild(doc.getLastChild())
    1.29 -    doc.appendChild(node)
    1.30 -    panel.delayedRelayout(node.asInstanceOf[NodeImpl])
    1.31 +      else {
    1.32 +        val xml = XML.elem(HTML.BODY,
    1.33 +          cmd.results(theory_view.current_document).
    1.34 +            map((t: XML.Tree) => XML.elem(HTML.PRE, HTML.spans(t))))
    1.35 +        XML.document_node(doc, xml)
    1.36 +      }
    1.37 +    Swing_Thread.later {
    1.38 +      doc.removeChild(doc.getLastChild())
    1.39 +      doc.appendChild(node)
    1.40 +      panel.delayedRelayout(node.asInstanceOf[NodeImpl])
    1.41 +    }
    1.42    })
    1.43  }