--- 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 _ =>
+ }
+
}