diff options
| author | narboux | 2005-11-09 10:48:07 +0000 |
|---|---|---|
| committer | narboux | 2005-11-09 10:48:07 +0000 |
| commit | 0f9f9f00794f7a640c3a82f380ce32500232caf3 (patch) | |
| tree | 2f7dd89a77b31939e2812f34e40f36b949d97087 | |
| parent | e9289aeac88a828b82dceb05f67b5de5ff5274bd (diff) | |
ajout splashscreen
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7546 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rwxr-xr-x | distrib/windows/coq.nsi | 19 | ||||
| -rwxr-xr-x | distrib/windows/coq_splash.bmp | bin | 0 -> 360039 bytes |
2 files changed, 10 insertions, 9 deletions
diff --git a/distrib/windows/coq.nsi b/distrib/windows/coq.nsi index 8e364d91a6..9032d16ce3 100755 --- a/distrib/windows/coq.nsi +++ b/distrib/windows/coq.nsi @@ -64,18 +64,18 @@ ;-------------------------------- ;Data -;Function .onInit -; SetOutPath $TEMP -; File /oname=coq_splash.bmp "coq_splash.bmp" -; InitPluginsDir; +Function .onInit + SetOutPath $TEMP + File /oname=coq_splash.bmp "coq_splash.bmp" + InitPluginsDir -; advsplash::show 1000 600 400 -1 $TEMP\coq_splash + advsplash::show 1000 600 400 -1 $TEMP\coq_splash -; Pop $0 ; $0 has '1' if the user closed the splash screen early, -; ; '0' if everything closed normal, and '-1' if some error occured. + Pop $0 ; $0 has '1' if the user closed the splash screen early, + ; '0' if everything closed normal, and '-1' if some error occured. -; Delete $TEMP\coq_splash.bmp -;FunctionEnd + Delete $TEMP\coq_splash.bmp +FunctionEnd ;-------------------------------- @@ -158,6 +158,7 @@ SectionEnd Section "CoqIde" Sec2 + SetOutPath "$INSTDIR" FileOpen $0 $INSTDIR\Coqide.bat w diff --git a/distrib/windows/coq_splash.bmp b/distrib/windows/coq_splash.bmp Binary files differnew file mode 100755 index 0000000000..f7a3b42bb2 --- /dev/null +++ b/distrib/windows/coq_splash.bmp |
