Warning: file_get_contents(/data/phpspider/zhask/data//catemap/6/ant/2.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Java Splashscreen中的动画GIF_Java_Ant_Awt_Splash Screen_Animated Gif - Fatal编程技术网

Java Splashscreen中的动画GIF

Java Splashscreen中的动画GIF,java,ant,awt,splash-screen,animated-gif,Java,Ant,Awt,Splash Screen,Animated Gif,我有一个由ANT脚本生成的JAR文件,其中包含以下代码: <manifest> <attribute name="Main-Class" value="org.epistasis.exstracs.Main"/> <attribute name="Class-Path" value="."/> <attribute name="SplashScreen-Image" value="logo_anim.gif"/> </man

我有一个由ANT脚本生成的JAR文件,其中包含以下代码:

<manifest>
   <attribute name="Main-Class" value="org.epistasis.exstracs.Main"/>
   <attribute name="Class-Path" value="."/>
   <attribute name="SplashScreen-Image" value="logo_anim.gif"/>
</manifest>
<!--Some code-->
<zipfileset dir="." includes="logo.png"/>
<zipfileset dir="." includes="logo_anim.gif"/>
<zipfileset dir="." includes="icon.png"/>



屏幕上会显示指定的图像


我不确定这是否重要,但GIF文件比PNG文件大得多。(
logo_anim.gif的大小约为2MB,而
logo.png的大小约为40KB)。

“gif文件明显大于png文件。(~2MB.)你从来没有想到2MB对于启动屏幕图像来说太大了?!?应用程序本身有多大?@AndrewThompson我想它可能太大了,但是图像会毫无问题地加载到浏览器中,如果我使用
Graphics.drawImage
,第一帧就会渲染。我想,在动画中,JAR最终是15MB,17GIF。
<attribute name="SplashScreen-Image" value="logo_anim.gif"/>
<attribute name="SplashScreen-Image" value="logo.png"/>
<attribute name="SplashScreen-Image" value="icon.png"/>