# 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 }