public AppletSplashScreen(GeoGebraApplet parentApplet) {
this.parentApplet = parentApplet;
// update splash screen image and paint it
update();
parentApplet.repaint();
}
/**
* Updates the progress image (animated gif) in the SplashScreen loading. Implements
* ImageObserver.
*/
public boolean imageUpdate(Image img, int flags, int x, int y, int w, int h) {
// stop after dispose() was called
if (dispose) return false;
// repaint applet to update progress image
update();
parentApplet.repaint();
return true;
}