home *** CD-ROM | disk | FTP | other *** search
- import com.next.gt.DisplayManager;
- import com.next.gt.Gamelication;
- import java.awt.event.ComponentAdapter;
- import java.awt.event.ComponentEvent;
-
- public class WindowResizer extends ComponentAdapter {
- private DisplayManager displayManager;
- private Gamelication owner;
-
- public WindowResizer(DisplayManager var1, Gamelication var2) {
- this.displayManager = var1;
- this.owner = var2;
- }
-
- public void componentShown(ComponentEvent var1) {
- this.displayManager.paint(this.owner.getGraphics());
- }
-
- public void componentHidden(ComponentEvent var1) {
- this.displayManager.paint(this.owner.getGraphics());
- }
-
- public void componentResized(ComponentEvent var1) {
- this.owner.setSize(var1.getComponent().getSize().width - 5, var1.getComponent().getSize().height - 25);
- this.displayManager.setBackgroundTile(this.owner.getImage(this.owner.getCodeBase(), "images/background.gif"));
- this.displayManager.paint(this.owner.getGraphics());
- }
- }
-