--- a/src/Tools/jEdit/src/jedit/protocol_dockable.scala Sat May 22 20:37:59 2010 +0200
+++ b/src/Tools/jEdit/src/jedit/protocol_dockable.scala Sat May 22 20:59:55 2010 +0200
@@ -1,7 +1,7 @@
/* Title: Tools/jEdit/src/jedit/protocol_dockable.scala
Author: Makarius
-Dockable window for raw process output.
+Dockable window for raw protocol messages.
*/
package isabelle.jedit
@@ -29,13 +29,13 @@
/* actor wiring */
- private val raw_actor = actor {
+ private val protocol_actor = actor {
loop {
react {
case result: Isabelle_Process.Result =>
Swing_Thread.now { text_area.append(result.message.toString + "\n") }
- case bad => System.err.println("raw_actor: ignoring bad message " + bad)
+ case bad => System.err.println("protocol_actor: ignoring bad message " + bad)
}
}
}
@@ -43,12 +43,12 @@
override def addNotify()
{
super.addNotify()
- Isabelle.session.raw_results += raw_actor
+ Isabelle.session.raw_results += protocol_actor
}
override def removeNotify()
{
- Isabelle.session.raw_results -= raw_actor
+ Isabelle.session.raw_results -= protocol_actor
super.removeNotify()
}
}