X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=src%2Forg%2Fxwt%2Fplat%2FWin32.java;h=9717e9676bba71505806b4b4377c86083daa5ea9;hb=38c7cb80528704b6771220448f36da4199f66453;hp=c03ba52514cbb1a79497c970b21a212f6a4d9950;hpb=95a1db611fe9566fcaa98e05bc14aa01124ad650;p=org.ibex.core.git

diff --git a/src/org/xwt/plat/Win32.java b/src/org/xwt/plat/Win32.java
index c03ba52..9717e96 100644
--- 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);
 
@@ -143,9 +147,14 @@ public class Win32 extends GCJ {
         StringTokenizer st = new StringTokenizer(container[0], ";", false);
         while(st.hasMoreTokens()) try {
             String s = st.nextToken().trim();
-            if (s.indexOf(':') == -1) continue;
             String protocol, host;
-            if (s.indexOf('=') == -1) {
+            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 {