added splash screen, to reduce confusion when waiting for main application to start up;
authorwenzelm
Wed Apr 25 11:29:55 2012 +0200 (2012-04-25)
changeset 47743493c0169e75c
parent 47742 316c67657fd3
child 47744 af81dc62a281
child 47751 f98bbb445c06
added splash screen, to reduce confusion when waiting for main application to start up;
Admin/launch4j/isabelle.bmp
Admin/launch4j/isabelle.xml
     1.1 Binary file Admin/launch4j/isabelle.bmp has changed
     2.1 --- a/Admin/launch4j/isabelle.xml	Wed Apr 25 10:59:06 2012 +0200
     2.2 +++ b/Admin/launch4j/isabelle.xml	Wed Apr 25 11:29:55 2012 +0200
     2.3 @@ -26,4 +26,10 @@
     2.4      <jdkPreference>jdkOnly</jdkPreference>
     2.5      <opt>-Disabelle.home=&quot;%EXEDIR%&quot; -Dcygwin.root=&quot;%EXEDIR%\\contrib\\cygwin-1.7.9&quot;</opt>
     2.6    </jre>
     2.7 +  <splash>
     2.8 +    <file>isabelle.bmp</file>
     2.9 +    <waitForWindow>false</waitForWindow>
    2.10 +    <timeout>10</timeout>
    2.11 +    <timeoutErr>false</timeoutErr>
    2.12 +  </splash>
    2.13  </launch4jConfig>
    2.14 \ No newline at end of file