src/Tools/jEdit/src/plugin.scala
changeset 49100 e7aecf2a5fc4
parent 49099 10e899bb6530
child 49101 21c8d2070be9
--- a/src/Tools/jEdit/src/plugin.scala	Mon Sep 03 22:22:38 2012 +0200
+++ b/src/Tools/jEdit/src/plugin.scala	Mon Sep 03 22:31:27 2012 +0200
@@ -21,8 +21,7 @@
 import org.gjt.sp.jedit.buffer.JEditBuffer
 import org.gjt.sp.jedit.textarea.{JEditTextArea, TextArea}
 import org.gjt.sp.jedit.syntax.{Token => JEditToken, ModeProvider}
-import org.gjt.sp.jedit.msg.{EditorStarted, ViewUpdate,
-  BufferUpdate, EditPaneUpdate, PropertiesChanged}
+import org.gjt.sp.jedit.msg.{EditorStarted, BufferUpdate, EditPaneUpdate, PropertiesChanged}
 import org.gjt.sp.jedit.gui.DockableWindowManager
 
 import org.gjt.sp.util.SyntaxUtilities
@@ -438,8 +437,8 @@
 
     if (Isabelle.startup_failure.isDefined && !Isabelle.startup_notified) {
       message match {
-        case msg: ViewUpdate =>
-          Library.error_dialog(msg.getView, "Isabelle plugin startup failure",
+        case msg: EditorStarted =>
+          Library.error_dialog(null, "Isabelle plugin startup failure",
             Library.scrollable_text(Exn.message(Isabelle.startup_failure.get)),
             "Prover IDE inactive!")
           Isabelle.startup_notified = true