# HG changeset patch
# User wenzelm
# Date 1285266845 -7200
# Node ID cad7a5b7f641260ddf94ff92e5e02d40f3d2429c
# Parent  44181423183af261f4d2806d41553b2bceb98977
tuned dialog;

diff -r 44181423183a -r cad7a5b7f641 src/Tools/jEdit/src/jedit/plugin.scala
--- a/src/Tools/jEdit/src/jedit/plugin.scala	Thu Sep 23 18:44:26 2010 +0200
+++ b/src/Tools/jEdit/src/jedit/plugin.scala	Thu Sep 23 20:34:05 2010 +0200
@@ -252,8 +252,7 @@
         case (Session.Startup, Session.Exit) =>
           val text = new scala.swing.TextArea(Isabelle.session.syslog())
           text.editable = false
-          // FIXME proper view!?
-          Library.error_dialog(null, null, "Failed to start Isabelle process", text)
+          Library.error_dialog(jEdit.getActiveView, "Failed to start Isabelle process", text)
           finished = true
 
         case (_, Session.Ready) => Isabelle.jedit_buffers.foreach(activate_buffer)