2002/05/28 21:30:03

[org.ibex.core.git] / src / org / xwt / Platform.java

diff --git a/src/org/xwt/Platform.java b/src/org/xwt/Platform.java
index e3ee510..f773f71 100644 (file)
--- a/src/org/xwt/Platform.java
+++ b/src/org/xwt/Platform.java
@@ -54,8 +54,10 @@ public class Platform {
             String platform_class = null;
             
             //if (os_name.startsWith("Mac OS X")) platform_class = "MacOSX";
-            if (vendor.startsWith("Free Software Foundation")) platform_class = "Win32";
-            else if (version.startsWith("1.1") && vendor.startsWith("Netscape")) platform_class = "Netscape";
+            if (vendor.startsWith("Free Software Foundation")) {
+                if (os_name.startsWith("Window")) platform_class = "Win32";
+                else platform_class = "POSIX";
+            } else if (version.startsWith("1.1") && vendor.startsWith("Netscape")) platform_class = "Netscape";
             else if (version.startsWith("1.1") && vendor.startsWith("Microsoft")) platform_class = "Microsoft";
             else if (version.startsWith("1.4")) platform_class = "Java14";
             else if (!version.startsWith("1.0") && !version.startsWith("1.1")) platform_class = "Java12";
@@ -111,7 +113,7 @@ public class Platform {
     protected Picture _createPicture(int[] b, int w, int h) { return null; }
     
     /** should return true if it is safe to supress full-surface dirties immediately after a window resize */
-    protected boolean _supressDirtyOnResize() { return true; }
+    protected boolean _supressDirtyOnResize() { return false; }
 
     /** the human-readable name of the key mapped to XWT's 'alt' key */
     protected String _altKeyName() { return "alt"; }
@@ -162,8 +164,12 @@ public class Platform {
     /** used to notify the user of very serious failures; usually used when logging is not working or unavailable */
     protected String _getDefaultFont() { return "sansserif10"; }
 
+    /** if true, org.xwt.Surface will generate a Click automatically after a press and a release */
     protected boolean _needsAutoClick() { return false; }
 
+    /** if true, org.xwt.Surface will generate a DoubleClick automatically after recieving two clicks in a short period of time */
+    protected boolean _needsAutoDoubleClick() { return false; }
+
     protected void _newBrowserWindow(String url) {
         if (Log.on) Log.log(this, "Platform " + platform.getClass().getName() + " cannot open browser windows");
         return;
@@ -172,11 +178,21 @@ public class Platform {
     /** Returns null if XWT should always use direct connection; otherwise returns a ProxyInfo object with proxy settings */
     protected synchronized HTTP.ProxyInfo _detectProxy() { return null; }
 
+    /** displays a platform-specific "open file" dialog and returns the chosen filename, or null if the user hit cancel */
+    protected String _fileDialog(String suggestedFileName, boolean write) { return null; }
+
+    /** returns true iff the platform has a case-sensitive filesystem */
+    protected boolean _isCaseSensitive() { return true; }
+
+
     // Static methods -- thunk to the instance /////////////////////////////////////////////////////////////////////////
 
     /** if true, org.xwt.Surface should generate Click messages automatically when a Release happens after a Press and the mouse has not moved much */
     public static boolean needsAutoClick() { return platform._needsAutoClick(); }
 
+    /** if true, org.xwt.Surface should generate DoubleClick messages automatically when needed */
+    public static boolean needsAutoDoubleClick() { return platform._needsAutoDoubleClick(); }
+
     /** should return true if it is safe to supress full-surface dirties immediately after a window resize */
     public static String getDefaultFont() { return platform._getDefaultFont(); }
 
@@ -230,6 +246,19 @@ public class Platform {
     /** creates and returns a picture */
     public static Picture createPicture(ImageDecoder i) { return platform._createPicture(i.getData(), i.getWidth(), i.getHeight()); }
 
+    /** returns true iff the platform has a case-sensitive filesystem */
+    public static boolean isCaseSensitive() { return platform._isCaseSensitive(); }
+
+    /** displays a platform-specific "open file" dialog and returns the chosen filename, or null if the user hit cancel */
+    public static String fileDialog(String suggestedFileName, boolean write) {
+        if (!ThreadMessage.suspendThread()) return null;
+        try {
+            return platform._fileDialog(suggestedFileName, write);
+        } finally {
+            ThreadMessage.resumeThread();
+        }
+    }
+
     /** opens a new browser window */
     public static void newBrowserWindow(String url) {
         if (!(url.startsWith("https://") || url.startsWith("http://") || url.startsWith("ftp://") || url.startsWith("mailto:"))) {
@@ -273,6 +302,8 @@ public class Platform {
             else if (Log.on) Log.log(Platform.class, "unable to load icon " + icon);
         }
 
+        ret.setLimits(b.dmin(0), b.dmin(1), b.dmax(0), b.dmax(1));
+
         if (refreshable) {
             Surface.refreshableSurfaceWasCreated = true;
             Surface.allSurfaces.addElement(ret);
@@ -328,7 +359,7 @@ public class Platform {
 
         public void parse(String font) {
             int i = 0;
-            while(i < font.length() && !Character.isDigit(font.charAt(i))) i++;
+            while(i < font.length() && !Character.isDigit(font.charAt(i)) && font.charAt(i) != '*') i++;
             name = font.substring(0, i).toLowerCase().replace('_', ' ');
             size = 10;
             italic = false;
@@ -336,10 +367,15 @@ public class Platform {
             underline = false;
             dotted_underline = false;
             if (i != font.length()) {
-                int j = i;
-                while (j < font.length() && Character.isDigit(font.charAt(j))) j++;
-                if (i != j) size = stoi(font.substring(i, j));
-                i = j;
+                if (font.charAt(i) == '*') {
+                    size = 0;
+                    i++;
+                } else {
+                    int j = i;
+                    while (j < font.length() && Character.isDigit(font.charAt(j))) j++;
+                    if (i != j) size = stoi(font.substring(i, j));
+                    i = j;
+                }
                 while(i < font.length()) {
                     switch (font.charAt(i)) {
                     case 'b': bold = true; break;