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";
/** 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; }
protected void _newBrowserWindow(String url) {
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);