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