src/Tools/jEdit/src/session_dockable.scala
changeset 46772 be21f050eda4
parent 46771 06a9b24c4a36
child 46918 1752164d916b
     1.1 --- a/src/Tools/jEdit/src/session_dockable.scala	Sat Mar 03 16:59:30 2012 +0100
     1.2 +++ b/src/Tools/jEdit/src/session_dockable.scala	Sat Mar 03 17:30:14 2012 +0100
     1.3 @@ -173,8 +173,8 @@
     1.4    private val main_actor = actor {
     1.5      loop {
     1.6        react {
     1.7 -        case result: Isabelle_Process.Result =>
     1.8 -          if (result.is_syslog)
     1.9 +        case output: Isabelle_Process.Output =>
    1.10 +          if (output.is_syslog)
    1.11              Swing_Thread.now {
    1.12                val text = Isabelle.session.current_syslog()
    1.13                if (text != syslog.text) syslog.text = text