public class Java2 extends AWT {
private boolean isJava14 = false;
- protected boolean _supressDirtyOnResize() { return isJava14 ? false : true; }
+ protected boolean _supressDirtyOnResize() {
+ return (isJava14 && !System.getProperty("os.name", "").equals("Mac OS X"))? false : true;
+ }
public Java2() {
// disable the focus manager so we can intercept the tab key
protected String getDescriptiveName() { return isJava14 ? "Java 1.4+ JVM" : "Java 1.2+ JVM"; }
protected void _newBrowserWindow(String url) {
+ /*
+ FIXME
if (Main.applet == null) {
if (Log.on) Log.log(this, "Main.applet is null; cannot invoke showDocument()");
return;
} catch (MalformedURLException e) {
if (Log.on) Log.log(this, e);
}
+ */
}
}