--- a/src/Tools/jEdit/src/protocol_dockable.scala Sat Mar 03 16:59:30 2012 +0100
+++ b/src/Tools/jEdit/src/protocol_dockable.scala Sat Mar 03 17:30:14 2012 +0100
@@ -31,8 +31,8 @@
case input: Isabelle_Process.Input =>
Swing_Thread.now { text_area.append(input.toString + "\n") }
- case result: Isabelle_Process.Result =>
- Swing_Thread.now { text_area.append(result.message.toString + "\n") }
+ case output: Isabelle_Process.Output =>
+ Swing_Thread.now { text_area.append(output.message.toString + "\n") }
case bad => System.err.println("Protocol_Dockable: ignoring bad message " + bad)
}