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) { }