# HG changeset patch
# User wenzelm
# Date 1346704287 -7200
# Node ID e7aecf2a5fc4c5a2a4a9372454f67a89cc8ad1e0
# Parent  10e899bb65307e3566453aba818029e8f0058796
prefer old startup dialog scheme (cf. 514bb82514df);

diff -r 10e899bb6530 -r e7aecf2a5fc4 src/Tools/jEdit/src/plugin.scala
--- 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