public static native String getTempPath();
public static native void natInit();
+ protected native String _fileDialog(String suggestedFileName, boolean write);
+
public Win32() { }
public void init() {
// 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); }
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);
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;