new PixelBuffer API (mainly tons of renames)

[org.ibex.core.git] / src / org / ibex / plat / Java4.java

diff --git a/src/org/ibex/plat/Java4.java b/src/org/ibex/plat/Java4.java
index 1611d4f..8b8dcd7 100644 (file)
--- a/src/org/ibex/plat/Java4.java
+++ b/src/org/ibex/plat/Java4.java
@@ -18,13 +18,14 @@ public class Java4 extends Java2 {
     protected String getDescriptiveName() { return "Java 1.4+ JVM"; }
     public Java4() {
         java.awt.Toolkit.getDefaultToolkit().setDynamicLayout(true);
-
+        /*
         // Properties for Apple JDK 1.4
         System.setProperty("apple.awt.showGrowBox", "false");
         System.setProperty("apple.awt.graphics.EnableLazyDrawing", "40");
         System.setProperty("apple.awt.graphics.EnableLazyDrawing", "true");
         System.setProperty("apple.awt.window.position.forceSafeUserPositioning", "true");
         System.setProperty("apple.awt.window.position.forceSafeCreation", "true");
+        */
     }
     protected Surface __createSurface(final Box root, final boolean framed) { return new Java4Surface(root, framed); }
     public static class Java4Surface extends Java2Surface implements WindowStateListener, MouseWheelListener {