setSize(fbWidth, fbHeight);
resizeEmbeddedApplet();  appClass.desktopScrollPane.clearAndRepaint();
  void updateFramebufferSize() {    // Useful shortcuts.    int fbWidth = rfb.framebufferWidth;    int fbHeight = rfb.framebufferHeight;    // Create new off-screen image either if it does not exist, or if    // its geometry should be changed. It's not necessary to replace    // existing image if only pixel format should be changed.    if (memImage == null) {      memImage = player.createImage(fbWidth, fbHeight);      memGraphics = memImage.getGraphics();    } else if (memImage.getWidth(null) != fbWidth ||        memImage.getHeight(null) != fbHeight) {      synchronized(memImage) {        memImage = player.createImage(fbWidth, fbHeight);        memGraphics = memImage.getGraphics();      }    }    // Images with raw pixels should be re-allocated on every change    // of geometry or pixel format.    pixels24 = new int[fbWidth * fbHeight];    pixelsSource =        new MemoryImageSource(fbWidth, fbHeight, cm24, pixels24, 0, fbWidth);    pixelsSource.setAnimated(true);    rawPixelsImage = createImage(pixelsSource);    // Update the size of desktop containers unless seeking     if (!seekMode) {      if (player.inSeparateFrame) {        if (player.desktopScrollPane != null)          resizeDesktopFrame();      } else {        setSize(fbWidth, fbHeight);      }    }  }