# HG changeset patch
# User wenzelm
# Date 1440177648 -7200
# Node ID 42c61f0b57484ff1d10e2e0cb822a61b303f9753
# Parent  42cebb02b5ae378d0a599ff66eb43ac800e22b0b
tuned;

diff -r 42cebb02b5ae -r 42c61f0b5748 Admin/Windows/launch4j/isabelle.xml
--- a/Admin/Windows/launch4j/isabelle.xml	Fri Aug 21 18:46:12 2015 +0200
+++ b/Admin/Windows/launch4j/isabelle.xml	Fri Aug 21 19:20:48 2015 +0200
@@ -30,8 +30,6 @@
   </jre>
   <splash>
     <file>{SPLASH}</file>
-    <waitForWindow>false</waitForWindow>
-    <timeout>10</timeout>
-    <timeoutErr>false</timeoutErr>
+    <waitForWindow>true</waitForWindow>
   </splash>
 </launch4jConfig>
\ No newline at end of file