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;
  }