X-Git-Url: http://git.megacz.com/?p=org.ibex.core.git;a=blobdiff_plain;f=src%2Forg%2Fibex%2Fplat%2FPlatform.java;h=321a80d319144cd472378e7e2d5ec75707c42fb5;hp=b7d88d16b2880323711e0dca2116c8dd3b16eb86;hb=297fdbde87e6db4732448a0950d1141c7265c169;hpb=76982fccac3c46ccc47621dd22dc0c96b6b9cd62

diff --git a/src/org/ibex/plat/Platform.java b/src/org/ibex/plat/Platform.java
index b7d88d1..321a80d 100644
--- a/src/org/ibex/plat/Platform.java
+++ b/src/org/ibex/plat/Platform.java
@@ -1,4 +1,7 @@
-// Copyright 2004 Adam Megacz, see the COPYING file for licensing [GPL]
+// Copyright 2000-2005 the Contributors, as shown in the revision logs.
+// Licensed under the GNU General Public License version 2 ("the License").
+// You may not use this file except in compliance with the License.
+
 package org.ibex.plat;
 
 import java.lang.reflect.*;
@@ -48,7 +51,7 @@ public abstract class Platform {
             String os_name = System.getProperty("os.name", "");
             String os_version = System.getProperty("os.version", "");
             String platform_class = null;
-            
+
             if (vendor.startsWith("Free Software Foundation")) {
                 if (os_name.startsWith("Window")) platform_class = "Win32";
                 else if (os_name.startsWith("Linux")) platform_class = "Linux";
@@ -57,8 +60,8 @@ public abstract class Platform {
                 else if (os_name.startsWith("Darwin")) platform_class = "Darwin";
                 else platform_class = "X11";
             }
+            else if (version.startsWith("1.4")) platform_class = "Java4";
             else if (!version.startsWith("1.0") && !version.startsWith("1.1")) platform_class = "Java2";
-
             if (platform_class == null) {
                 Log.error(Platform.class, "Unable to detect JVM");
                 criticalAbort("Unable to detect JVM");
@@ -115,11 +118,11 @@ public abstract class Platform {
         ret.setInvisible(false);
         if (refreshable) {
             Surface.allSurfaces.addElement(ret);
-            ret.dirty(0, 0, b.width, b.height);
+            b.dirty();
             ret.Refresh();
         }
         try {
-            if (b.get(JS.S("titlebar")) != null) ret.setTitleBarText(JS.toString(b.get(JS.S("titlebar"))));
+            if (b.get(JSU.S("titlebar")) != null) ret.setTitleBarText(JSU.toString(b.get(JSU.S("titlebar"))));
         } catch (JSExn e) {
             Log.warn(Platform.class, e);
         }