2002/08/07 04:34:49

darcs-hash:20040130064941-2ba56-d887371c40130f2af21a1ad097c147cdf0be615d.gz

diff --git a/CHANGES b/CHANGES
index 99b6117..1a76e18 100644 (file)
--- a/CHANGES
+++ b/CHANGES
@@ -334,3 +334,6 @@
 06-Jul megacz AWT.java: removed blitDirtyScreenRegions() due to
               deadlock, compensated for MacOSX button-swapping bug.
 
+06-Jul megacz Java12.java: disabled focusmanager so we can recieve tab
+              keypresses.
+

diff --git a/src/org/xwt/plat/Java12.java b/src/org/xwt/plat/Java12.java
index c277efa..f46cb72 100644 (file)
--- a/src/org/xwt/plat/Java12.java
+++ b/src/org/xwt/plat/Java12.java
@@ -16,12 +16,21 @@ import java.lang.reflect.*;
 /** Platform class for most reasonable Java1.2+ JVMs */
 public class Java12 extends AWT {
 
+    public Java12() {
+        // 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) { }
+                public void focusPreviousComponent(Component aComponent) { }
+                public void focusNextComponent(Component aComponent) { }
+            });
+    }
+
     /** this is done with reflection in case a new version of the plugin comes out that doesn't let us pull the sun.plugin.* trick */
-    protected synchronized HTTP.ProxyInfo _detectProxy() {
-        return (HTTP.ProxyInfo)java.security.AccessController.doPrivileged(new java.security.PrivilegedAction() {
+    protected synchronized org.xwt.Proxy _detectProxy() {
+        return (org.xwt.Proxy)java.security.AccessController.doPrivileged(new java.security.PrivilegedAction() {
                 public Object run() {
                     try {
-                        HTTP.ProxyInfo pi = new HTTP.ProxyInfo();
+                        org.xwt.Proxy pi = new org.xwt.Proxy();
                         
                         Class PluginProxyHandler = Class.forName("sun.plugin.protocol.PluginProxyHandler");
                         Method getDefaultProxyHandler = PluginProxyHandler.getMethod("getDefaultProxyHandler", new Class[] { });