added some Apple-JVM specific properties
authoradam <adam@megacz.com>
Sun, 9 Jan 2005 09:05:11 +0000 (09:05 +0000)
committeradam <adam@megacz.com>
Sun, 9 Jan 2005 09:05:11 +0000 (09:05 +0000)
darcs-hash:20050109090511-5007d-210798eee52a0998b45d190c935165357448f268.gz

src/org/ibex/plat/Java2.java

index 346c2eb..d8b5dc4 100644 (file)
@@ -20,6 +20,13 @@ public class Java2 extends AWT {
 
     protected String getDescriptiveName() { return "Java 1.2+ JVM"; }
     public Java2() {
 
     protected String getDescriptiveName() { return "Java 1.2+ JVM"; }
     public Java2() {
+        // Properties for Apple JDK 1.3
+        System.setProperty("apple.awt.showGrowBox", "false");
+        System.setProperty("com.apple.hwaccel", "true");
+        System.setProperty("com.apple.forcehwaccel", "true");
+        System.setProperty("apple.awt.window.position.forceSafeUserPositioning", "true");
+        System.setProperty("apple.awt.window.position.forceSafeCreation", "true");
+
         // disable the focus manager so we can intercept the tab key
         javax.swing.FocusManager.setCurrentManager(new javax.swing.FocusManager() {
                 public void processKeyEvent(Component focusedComponent, KeyEvent anEvent) { }
         // disable the focus manager so we can intercept the tab key
         javax.swing.FocusManager.setCurrentManager(new javax.swing.FocusManager() {
                 public void processKeyEvent(Component focusedComponent, KeyEvent anEvent) { }