src/Tools/jEdit/src/protocol_dockable.scala
changeset 46772 be21f050eda4
parent 46120 f7ee2e5a83dd
child 46774 38f113b052b1
     1.1 --- a/src/Tools/jEdit/src/protocol_dockable.scala	Sat Mar 03 16:59:30 2012 +0100
     1.2 +++ b/src/Tools/jEdit/src/protocol_dockable.scala	Sat Mar 03 17:30:14 2012 +0100
     1.3 @@ -31,8 +31,8 @@
     1.4          case input: Isabelle_Process.Input =>
     1.5            Swing_Thread.now { text_area.append(input.toString + "\n") }
     1.6  
     1.7 -        case result: Isabelle_Process.Result =>
     1.8 -          Swing_Thread.now { text_area.append(result.message.toString + "\n") }
     1.9 +        case output: Isabelle_Process.Output =>
    1.10 +          Swing_Thread.now { text_area.append(output.message.toString + "\n") }
    1.11  
    1.12          case bad => System.err.println("Protocol_Dockable: ignoring bad message " + bad)
    1.13        }