--- a/src/Tools/jEdit/src/session_dockable.scala Sat Mar 03 14:04:49 2012 +0100
+++ b/src/Tools/jEdit/src/session_dockable.scala Sat Mar 03 16:59:30 2012 +0100
@@ -43,7 +43,7 @@
status.peer.setLayoutOrientation(JList.VERTICAL_WRAP)
status.selection.intervalMode = ListView.IntervalMode.Single
- private val syslog = new TextArea(Isabelle.session.syslog())
+ private val syslog = new TextArea(Isabelle.session.current_syslog())
private val tabs = new TabbedPane {
pages += new TabbedPane.Page("README", Component.wrap(readme))
@@ -176,10 +176,8 @@
case result: Isabelle_Process.Result =>
if (result.is_syslog)
Swing_Thread.now {
- val text = Isabelle.session.syslog()
- if (text != syslog.text) {
- syslog.text = text
- }
+ val text = Isabelle.session.current_syslog()
+ if (text != syslog.text) syslog.text = text
}
case phase: Session.Phase =>