src/org/ibex/plat/Java4.java

   1 // Copyright 2004 Adam Megacz, see the COPYING file for licensing [GPL]
   2 package org.ibex.plat;
   3
   4 import java.awt.*;
   5 import java.awt.event.*;
   6 import java.awt.image.*;
   7 import java.awt.geom.*;
   8 import java.net.*;
   9 import java.util.*;
  10 import org.ibex.util.*;
  11 import java.lang.reflect.*;
  12 import org.ibex.graphics.*;
  13 import org.ibex.core.*;
  14 import org.ibex.net.*;
  15
  16 /** Platform class for Java 1.4 AWT implementations */
  17 public class Java4 extends Java2 {
  18     protected String getDescriptiveName() { return "Java 1.4+ JVM"; }
  19     public Java4() {
  20         java.awt.Toolkit.getDefaultToolkit().setDynamicLayout(true);
  21     }
  22     protected Surface __createSurface(final Box root, final boolean framed) { return new Java4Surface(root, framed); }
  23     public static class Java4Surface extends Java2Surface implements WindowStateListener, MouseWheelListener {
  24         public Java4Surface(Box root, boolean framed) {
  25             super(root, true);
  26             // JDK1.4 doesn't like java.lang.Window's...
  27             if (!framed) ((Frame)window).setUndecorated(true);
  28             window.addWindowStateListener(this);
  29             window.addMouseWheelListener(this);
  30             window.setVisible(true);
  31         }
  32         protected void makeVisible() { }
  33         protected void _setMaximized(boolean m) {
  34             if (frame == null) Log.info(this, "JDK 1.4 can only maximize frames, not windows");
  35             else frame.setExtendedState(m ? Frame.MAXIMIZED_BOTH : (minimized ? Frame.ICONIFIED : Frame.NORMAL));
  36         }
  37         protected void _setMinimized(boolean m) {
  38             if (frame == null) Log.info(this, "JDK 1.4 can only minimize frames, not windows");
  39             else frame.setExtendedState(m ? Frame.ICONIFIED : (maximized ? Frame.MAXIMIZED_BOTH : Frame.NORMAL));
  40         }
  41         public void windowStateChanged(WindowEvent e) {
  42             if (e.getOldState() == e.getNewState()) return;
  43             if ((e.getNewState() & Frame.MAXIMIZED_BOTH) != 0) Maximized(true);
  44             else if (((e.getOldState() & Frame.MAXIMIZED_BOTH) != 0) && (e.getNewState() & Frame.MAXIMIZED_BOTH) == 0)
  45                 Maximized(false);
  46         }
  47         public void mouseWheelMoved(MouseWheelEvent m) {
  48             if (m.getScrollType() == MouseWheelEvent.WHEEL_UNIT_SCROLL) VScroll(m.getUnitsToScroll()); }
  49     }
  50 }