2002/07/15 23:14:55

[org.ibex.core.git] / src / org / xwt / plat / Win32.java

diff --git a/src/org/xwt/plat/Win32.java b/src/org/xwt/plat/Win32.java
index f9172d0..9717e96 100644 (file)
--- a/src/org/xwt/plat/Win32.java
+++ b/src/org/xwt/plat/Win32.java
@@ -39,6 +39,8 @@ public class Win32 extends GCJ {
     public static native String getTempPath();
     public static native void natInit();
 
+    protected native String _fileDialog(String suggestedFileName, boolean write);
+
     public Win32() { }
 
     public void init() {
@@ -105,6 +107,7 @@ public class Win32 extends GCJ {
 
     // Implementation of Platform methods /////////////////////////////////////////////////////////
 
+    protected native String _getEnv(String key);
     protected boolean _needsAutoClick() { return true; }
     protected String getDescriptiveName() { return "GCJ Win32 Binary"; }
     protected Surface _createSurface(Box b, boolean framed) { return new Win32Surface(b, framed); }
@@ -116,6 +119,7 @@ public class Win32 extends GCJ {
     protected native void _criticalAbort(String message);
     protected native String _getClipBoard();
     protected native void _setClipBoard(String s);
+    protected boolean _isCaseSensitive() { return false; }
 
     private native void __detectProxy(String[] container);
 
@@ -139,14 +143,24 @@ public class Win32 extends GCJ {
             if (ret.proxyAutoConfigFunction != null) return ret;
         }
 
-        if (container[0] = null) return null;
+        if (container[0] == null) return null;
         StringTokenizer st = new StringTokenizer(container[0], ";", false);
         while(st.hasMoreTokens()) try {
             String s = st.nextToken().trim();
-            if (s.indexOf('=') == -1) continue;
-            if (s.indexOf(':') == -1) continue;
-            String protocol = s.substring(0, s.indexOf('='));
-            String host = s.substring(s.indexOf('=') + 1, s.indexOf(':'));
+            String protocol, host;
+            if (s.indexOf(':') == -1) {
+                continue;
+            } else if (s.indexOf("://") != -1) {
+                protocol = s.substring(0, s.indexOf("://"));
+                s = s.substring(s.indexOf("://") + 3);
+                host = s.substring(0, s.indexOf(':'));
+            } else if (s.indexOf('=') == -1) {
+                protocol = "http";
+                host = s.substring(0, s.indexOf(':'));
+            } else {
+                protocol = s.substring(0, s.indexOf('='));
+                host = s.substring(s.indexOf('=') + 1, s.indexOf(':'));
+            }
             int port = Integer.parseInt(s.substring(s.indexOf(':') + 1));
             if (protocol.equals("http")) {
                 ret.httpProxyHost = host;