# HG changeset patch
# User wenzelm
# Date 1335346195 -7200
# Node ID 493c0169e75c55134958bac9241b14b7beae45f1
# Parent  316c67657fd3f3033b6b5d20f69f045063fba057
added splash screen, to reduce confusion when waiting for main application to start up;

diff -r 316c67657fd3 -r 493c0169e75c Admin/launch4j/isabelle.bmp
Binary file Admin/launch4j/isabelle.bmp has changed
diff -r 316c67657fd3 -r 493c0169e75c Admin/launch4j/isabelle.xml
--- a/Admin/launch4j/isabelle.xml	Wed Apr 25 10:59:06 2012 +0200
+++ b/Admin/launch4j/isabelle.xml	Wed Apr 25 11:29:55 2012 +0200
@@ -26,4 +26,10 @@
     <jdkPreference>jdkOnly</jdkPreference>
     <opt>-Disabelle.home=&quot;%EXEDIR%&quot; -Dcygwin.root=&quot;%EXEDIR%\\contrib\\cygwin-1.7.9&quot;</opt>
   </jre>
+  <splash>
+    <file>isabelle.bmp</file>
+    <waitForWindow>false</waitForWindow>
+    <timeout>10</timeout>
+    <timeoutErr>false</timeoutErr>
+  </splash>
 </launch4jConfig>
\ No newline at end of file