src/Tools/jEdit/src/session_dockable.scala
changeset 46771 06a9b24c4a36
parent 46739 6024353549ca
child 46772 be21f050eda4
     1.1 --- a/src/Tools/jEdit/src/session_dockable.scala	Sat Mar 03 14:04:49 2012 +0100
     1.2 +++ b/src/Tools/jEdit/src/session_dockable.scala	Sat Mar 03 16:59:30 2012 +0100
     1.3 @@ -43,7 +43,7 @@
     1.4    status.peer.setLayoutOrientation(JList.VERTICAL_WRAP)
     1.5    status.selection.intervalMode = ListView.IntervalMode.Single
     1.6  
     1.7 -  private val syslog = new TextArea(Isabelle.session.syslog())
     1.8 +  private val syslog = new TextArea(Isabelle.session.current_syslog())
     1.9  
    1.10    private val tabs = new TabbedPane {
    1.11      pages += new TabbedPane.Page("README", Component.wrap(readme))
    1.12 @@ -176,10 +176,8 @@
    1.13          case result: Isabelle_Process.Result =>
    1.14            if (result.is_syslog)
    1.15              Swing_Thread.now {
    1.16 -              val text = Isabelle.session.syslog()
    1.17 -              if (text != syslog.text) {
    1.18 -                syslog.text = text
    1.19 -              }
    1.20 +              val text = Isabelle.session.current_syslog()
    1.21 +              if (text != syslog.text) syslog.text = text
    1.22              }
    1.23  
    1.24          case phase: Session.Phase =>