src/Tools/jEdit/src/jedit/session_dockable.scala
changeset 39629 08eb2730a8a1
parent 39626 a5d0bcfb95a3
child 39635 5cd8545a070b
     1.1 --- a/src/Tools/jEdit/src/jedit/session_dockable.scala	Thu Sep 23 16:48:12 2010 +0200
     1.2 +++ b/src/Tools/jEdit/src/jedit/session_dockable.scala	Thu Sep 23 16:48:48 2010 +0200
     1.3 @@ -25,10 +25,7 @@
     1.4    private val readme = new HTML_Panel(Isabelle.system, "SansSerif", 12)
     1.5    readme.render_document(Isabelle.system.try_read(List("$JEDIT_HOME/README.html")))
     1.6  
     1.7 -  private def session_syslog(): String =
     1.8 -    Isabelle.session.syslog.map(msg => XML.content(msg).mkString).mkString("\n")
     1.9 -
    1.10 -  private val syslog = new TextArea(session_syslog())
    1.11 +  private val syslog = new TextArea(Isabelle.session.syslog())
    1.12    syslog.editable = false
    1.13  
    1.14    private val tabs = new TabbedPane {
    1.15 @@ -58,7 +55,7 @@
    1.16          case result: Isabelle_Process.Result =>
    1.17            if (result.is_syslog)
    1.18              Swing_Thread.now {
    1.19 -              val text = session_syslog()
    1.20 +              val text = Isabelle.session.syslog()
    1.21                if (text != syslog.text) {
    1.22                  syslog.text = text
    1.23                }