# HG changeset patch
# User wenzelm
# Date 1262299698 -3600
# Node ID 8c31275868cc3b21aa467b3e743a6c15eb01405d
# Parent  ba83272dc4cad7b17332bb92fbe1fc886631b8a2
tuned dialog;

diff -r ba83272dc4ca -r 8c31275868cc src/Tools/jEdit/src/jedit/plugin.scala
--- a/src/Tools/jEdit/src/jedit/plugin.scala	Thu Dec 31 01:03:39 2009 +0100
+++ b/src/Tools/jEdit/src/jedit/plugin.scala	Thu Dec 31 23:48:18 2009 +0100
@@ -13,7 +13,7 @@
 
 import java.io.{FileInputStream, IOException}
 import java.awt.Font
-import javax.swing.{JScrollPane, JOptionPane}
+import javax.swing.JTextArea
 
 import scala.collection.mutable
 
@@ -104,8 +104,8 @@
     val timeout = Int_Property("startup-timeout") max 1000
     session.start(timeout, Isabelle.isabelle_args()) match {
       case Some(err) =>
-        JOptionPane.showMessageDialog(
-          view, err, "Failed to start prover", JOptionPane.ERROR_MESSAGE)
+        val text = new JTextArea(err); text.setEditable(false)
+        Library.error_dialog(view, null, "Failed to start Isabelle process", text)
         false
       case None => true
     }