external-repos/forge
1
0
Fork 0
mirror of https://github.com/Card-Forge/forge.git synced 2025-11-17 19:28:01 +00:00
Code Issues Packages Projects Releases Wiki Activity

progagate type information through to get rid of warning

Browse Source
This commit is contained in:
Ryan1729
2019-10-06 02:13:37 -06:00
parent d53eb3a3fe
commit b010da744c
1 changed files with 3 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
forge-gui-mobile/src/forge/animation/GifDecoder.java
View File

@@ -687,7 +687,7 @@ public class GifDecoder {
} while ((blockSize > 0) && !err()); } while ((blockSize > 0) && !err());
} }
public Animation getAnimation(PlayMode playType) { private Animation<TextureRegion> getAnimation(PlayMode playType) {
int nrFrames = getFrameCount(); int nrFrames = getFrameCount();
Pixmap frame = getFrame(0); Pixmap frame = getFrame(0);
int width = frame.getWidth(); int width = frame.getWidth();
@@ -725,12 +725,11 @@ public class GifDecoder {
} }
float frameDuration = (float)getDelay(0); float frameDuration = (float)getDelay(0);
frameDuration /= 1000; // convert milliseconds into seconds frameDuration /= 1000; // convert milliseconds into seconds
Animation result = new Animation(frameDuration, texReg, playType);
return result; return new Animation<>(frameDuration, texReg, playType);
} }
public static Animation loadGIFAnimation(PlayMode playType, InputStream is) { public static Animation<TextureRegion> loadGIFAnimation(PlayMode playType, InputStream is) {
GifDecoder gdec = new GifDecoder(); GifDecoder gdec = new GifDecoder();
gdec.read(is); gdec.read(is);
return gdec.getAnimation(playType); return gdec.getAnimation(playType);