protected Surface _createSurface(Box b, boolean framed) { return new AWTSurface(b, framed); }
protected void postInit() {
- System.setProperty("com.apple.mrj.application.live-resize", "true");
- System.setProperty("com.apple.mrj.application.growbox.intrudes", "false");
- if (Log.on) Log.log(Platform.class, " color depth = " + Toolkit.getDefaultToolkit().getColorModel().getPixelSize() + "bpp");
+ if (Log.on) Log.log(Platform.class, " color depth = " +
+ Toolkit.getDefaultToolkit().getColorModel().getPixelSize() + "bpp");
}
protected void _criticalAbort(String message) {