Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned dialog;
authorwenzelm
Thu, 23 Sep 2010 20:34:05 +0200
changeset 39631 cad7a5b7f641
parent 39630 44181423183a
child 39632 6328e7a06f32
tuned dialog;
src/Tools/jEdit/src/jedit/plugin.scala file | annotate | diff | comparison | revisions 
--- 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)
isabelle