1 // Copyright 2004 Adam Megacz, see the COPYING file for licensing [GPL]
5 import java.awt.event.*;
6 import java.awt.image.*;
7 import java.awt.geom.*;
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.*;
16 /** Platform class for Java 1.4 AWT implementations */
17 public class Java4 extends Java2 {
18 protected String getDescriptiveName() { return "Java 1.4+ JVM"; }
20 java.awt.Toolkit.getDefaultToolkit().setDynamicLayout(true);
22 // Properties for Apple JDK 1.4
23 System.setProperty("apple.awt.showGrowBox", "false");
24 System.setProperty("apple.awt.graphics.EnableLazyDrawing", "40");
25 System.setProperty("apple.awt.graphics.EnableLazyDrawing", "true");
26 System.setProperty("apple.awt.window.position.forceSafeUserPositioning", "true");
27 System.setProperty("apple.awt.window.position.forceSafeCreation", "true");
29 protected Surface __createSurface(final Box root, final boolean framed) { return new Java4Surface(root, framed); }
30 public static class Java4Surface extends Java2Surface implements WindowStateListener, MouseWheelListener {
31 public Java4Surface(Box root, boolean framed) {
33 // JDK1.4 doesn't like java.lang.Window's...
34 if (!framed) ((Frame)window).setUndecorated(true);
35 window.addWindowStateListener(this);
36 window.addMouseWheelListener(this);
37 window.setVisible(true);
39 protected void makeVisible() { }
40 protected void _setMaximized(boolean m) {
41 if (frame == null) Log.info(this, "JDK 1.4 can only maximize frames, not windows");
42 else frame.setExtendedState(m ? Frame.MAXIMIZED_BOTH : (minimized ? Frame.ICONIFIED : Frame.NORMAL));
44 protected void _setMinimized(boolean m) {
45 if (frame == null) Log.info(this, "JDK 1.4 can only minimize frames, not windows");
46 else frame.setExtendedState(m ? Frame.ICONIFIED : (maximized ? Frame.MAXIMIZED_BOTH : Frame.NORMAL));
48 public void windowStateChanged(WindowEvent e) {
49 if (e.getOldState() == e.getNewState()) return;
50 if ((e.getNewState() & Frame.MAXIMIZED_BOTH) != 0) Maximized(true);
51 else if (((e.getOldState() & Frame.MAXIMIZED_BOTH) != 0) && (e.getNewState() & Frame.MAXIMIZED_BOTH) == 0)
54 public void mouseWheelMoved(MouseWheelEvent m) {
55 if (m.getScrollType() == MouseWheelEvent.WHEEL_UNIT_SCROLL) VScroll(m.getUnitsToScroll()); }