diff -r 64957539cdf4 -r 2cd94c30271c lib/jedit/plugin/isabelle_plugin.scala
--- a/lib/jedit/plugin/isabelle_plugin.scala	Mon Aug 25 22:26:26 2008 +0200
+++ b/lib/jedit/plugin/isabelle_plugin.scala	Mon Aug 25 22:42:04 2008 +0200
@@ -7,19 +7,19 @@
 
 package isabelle.jedit
 
-import org.gjt.sp.jedit.jEdit
-import org.gjt.sp.jedit.EditPlugin
-import org.gjt.sp.util.Log
-
-import errorlist.DefaultErrorSource
-import errorlist.ErrorSource
-
 import java.util.Properties
 import java.lang.NumberFormatException
 
 import scala.collection.mutable.ListBuffer
 import scala.io.Source
 
+import org.gjt.sp.util.Log
+import org.gjt.sp.jedit.{jEdit, EBPlugin, EBMessage}
+import org.gjt.sp.jedit.msg.DockableWindowUpdate
+
+import errorlist.DefaultErrorSource
+import errorlist.ErrorSource
+
 
 
 /** global state **/
@@ -98,7 +98,7 @@
 
 /* Main plugin setup */
 
-class IsabellePlugin extends EditPlugin {
+class IsabellePlugin extends EBPlugin {
 
   import IsabellePlugin._
 
@@ -149,11 +149,16 @@
 
   }
 
-
   override def stop = {
     isabelle.kill
     consumer_thread.join
     ErrorSource.unregisterErrorSource(errors)
   }
 
+
+  override def handleMessage(message: EBMessage) = message match {
+    case _: DockableWindowUpdate =>   // FIXME check isabelle process
+    case _ =>
+  }
+
 }