Dimension scrollSize = player.desktopScrollPane.getSize(); if (scrollSize.width != player.dispW || scrollSize.height != player.dispH) { player.desktopScrollPane.setSize(player.dispW, player.dispH);
Dimension scrollSize = appClass.desktopScrollPane.getSize(); if (scrollSize.width != appClass.dispW || scrollSize.height != appClass.dispH) { appClass.desktopScrollPane.setSize(appClass.dispW, appClass.dispH);
  void resizeEmbeddedApplet() {    // resize scroll pane if necessary    Dimension scrollSize = player.desktopScrollPane.getSize();    if (scrollSize.width != player.dispW ||        scrollSize.height != player.dispH) {      player.desktopScrollPane.setSize(player.dispW, player.dispH);    }    player.desktopScrollPane.validate();    // size the canvas    setSize(getPreferredSize());  }