# HG changeset patch
# User wenzelm
# Date 1293022146 -3600
# Node ID 514bb82514dffb4d662f36cf8a0f90b5d9ee7bb5
# Parent  d19b8388d4b110727c4c25a98c36d27ec2bbd6af
check JVM later, to avoid potential conflict with jEdit splash screen;

diff -r d19b8388d4b1 -r 514bb82514df src/Tools/jEdit/src/jedit/plugin.scala
--- a/src/Tools/jEdit/src/jedit/plugin.scala	Wed Dec 22 13:30:58 2010 +0100
+++ b/src/Tools/jEdit/src/jedit/plugin.scala	Wed Dec 22 13:49:06 2010 +0100
@@ -344,8 +344,9 @@
   override def handleMessage(message: EBMessage)
   {
     message match {
-      case msg: EditorStarted
-      if Isabelle.Boolean_Property("auto-start") => Isabelle.start_session()
+      case msg: EditorStarted =>
+      Isabelle.check_jvm()
+      if (Isabelle.Boolean_Property("auto-start")) Isabelle.start_session()
 
       case msg: BufferUpdate
       if msg.getWhat == BufferUpdate.PROPERTIES_CHANGED =>
@@ -385,7 +386,6 @@
 
   override def start()
   {
-    Isabelle.check_jvm()
     Isabelle.setup_tooltips()
     Isabelle.system = new Isabelle_System
     Isabelle.system.install_fonts()