# HG changeset patch
# User wenzelm
# Date 1262217819 -3600
# Node ID ba83272dc4cad7b17332bb92fbe1fc886631b8a2
# Parent  a8ba6cde13e974d8250a2c56139f3d91a2ba5400
improved dialog;

diff -r a8ba6cde13e9 -r ba83272dc4ca src/Tools/jEdit/src/jedit/plugin.scala
--- a/src/Tools/jEdit/src/jedit/plugin.scala	Thu Dec 31 00:38:15 2009 +0100
+++ b/src/Tools/jEdit/src/jedit/plugin.scala	Thu Dec 31 01:03:39 2009 +0100
@@ -13,7 +13,7 @@
 
 import java.io.{FileInputStream, IOException}
 import java.awt.Font
-import javax.swing.JScrollPane
+import javax.swing.{JScrollPane, JOptionPane}
 
 import scala.collection.mutable
 
@@ -21,7 +21,6 @@
 import org.gjt.sp.jedit.buffer.JEditBuffer
 import org.gjt.sp.jedit.textarea.JEditTextArea
 import org.gjt.sp.jedit.msg.{EditPaneUpdate, PropertiesChanged}
-import org.gjt.sp.jedit.gui.EnhancedDialog
 
 
 object Isabelle
@@ -105,12 +104,8 @@
     val timeout = Int_Property("startup-timeout") max 1000
     session.start(timeout, Isabelle.isabelle_args()) match {
       case Some(err) =>
-        // FIXME proper dialog
-        val dialog = new EnhancedDialog(view, "Failed to start prover:\n" + err, true) {
-          def ok { dispose }
-          def cancel { dispose }
-        }
-        dialog.setVisible(true)
+        JOptionPane.showMessageDialog(
+          view, err, "Failed to start prover", JOptionPane.ERROR_MESSAGE)
         false
       case None => true
     }