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.
added splash screen, to reduce confusion when waiting for main application to start up;
authorwenzelm
Wed, 25 Apr 2012 11:29:55 +0200
changeset 47743 493c0169e75c
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 file | annotate | diff | comparison | revisions
Admin/launch4j/isabelle.xml file | annotate | diff | comparison | revisions 
Binary file Admin/launch4j/isabelle.bmp has changed
--- 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
isabelle