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";
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");
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(JSU.S("titlebar")) != null) ret.setTitleBarText(JS.toString(b.get(JSU.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);
}