2003/08/10 20:33:06
[org.ibex.core.git] / src / org / xwt / Platform.java
index a7949b2..a64a515 100644 (file)
@@ -65,8 +65,10 @@ public class Platform {
             else if (version.startsWith("1.1") && vendor.startsWith("Microsoft")) platform_class = "Microsoft";
             else if (!version.startsWith("1.0") && !version.startsWith("1.1")) platform_class = "Java2";
 
+            /*
         // Disable 2d hardware acceleration on Jaguar
         if (os_name.equals("Mac OS X") && os_version.equals("10.2"))
+            */
         System.setProperty("com.apple.hwaccel", "false");
 
             if (platform_class != null) {
@@ -175,8 +177,8 @@ public class Platform {
             };
     }
 
-       /** Called once XWT is initialized and the application is running. */
-       protected void _running() {}
+        /** Called once XWT is initialized and the application is running. */
+        protected void _running() {}
     
     /** quits XWT */
     protected void _exit() { System.exit(0); }
@@ -209,7 +211,7 @@ public class Platform {
 
     /** returns an InputStream to the builtin xwar */
     protected InputStream _getBuiltinInputStream() {
-       return Platform.class.getClassLoader().getResourceAsStream("org/xwt/builtin.xwar");
+        return Platform.class.getClassLoader().getResourceAsStream("org/xwt/builtin.xwar");
     }
 
     /** returns the value of the environment variable key, or null if no such key exists */
@@ -304,7 +306,7 @@ public class Platform {
 
     /** returns an InputStream to the builtin xwar */
     public static InputStream getBuiltinInputStream() { return platform._getBuiltinInputStream(); }
-       
+        
     /** creates and returns a picture */
     public static Picture createPicture(ImageDecoder i) { return platform._createPicture(i.getData(), i.getWidth(), i.getHeight()); }
 
@@ -345,12 +347,12 @@ public class Platform {
         platform._newBrowserWindow(url);
     }
 
-       /** Called once XWT is initialized and the application is running. */
-       public static void running() {
-               Log.log(Platform.class, "XWT is running");
-               platform._running();
-       }
-       
+        /** Called once XWT is initialized and the application is running. */
+        public static void running() {
+                Log.log(Platform.class, "XWT is running");
+                platform._running();
+        }
+        
     /** quits XWT */
     public static void exit() {
         Log.log(Platform.class, "exiting via Platform.exit()");
@@ -371,20 +373,20 @@ public class Platform {
     public static Surface createSurface(Box b, boolean framed, boolean refreshable) {
         Surface ret = platform._createSurface(b, framed);
         ret.setInvisible(b.invisible);
-        b.set(Box.size, 0, b.size(0) < Surface.scarPicture.getWidth() ? Surface.scarPicture.getWidth() : b.size(0));
-        b.set(Box.size, 1, b.size(1) < Surface.scarPicture.getHeight() ? Surface.scarPicture.getHeight() : b.size(1));
+        b.width = b.height < Surface.scarPicture.getWidth() ? Surface.scarPicture.getWidth() : b.width;
+        b.height = b.height < Surface.scarPicture.getHeight() ? Surface.scarPicture.getHeight() : b.height;
 
         Object titlebar = b.get("titlebar", true);
         if (titlebar != null) ret.setTitleBarText(titlebar.toString());
 
         Object icon = b.get("icon", true);
         if (icon != null && !"".equals(icon)) {
-            Picture pic = Box.getPicture(icon.toString());
+            Picture pic = ImageDecoder.getPicture(icon.toString());
             if (pic != null) ret.setIcon(pic);
             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));
+        ret.setLimits(b.minwidth, b.minheight, b.maxwidth, b.maxheight);
 
         if (refreshable) {
             Surface.refreshableSurfaceWasCreated = true;
@@ -414,7 +416,7 @@ public class Platform {
     }
 
     public static synchronized ImageDecoder decodeJPEG(InputStream is, String name) {
-       return platform._decodeJPEG(is, name);
+        return platform._decodeJPEG(is, name);
     }
 
     // Helpful font parsing stuff //////////////////////////////////////////////////////