protected int _getMaxDescent(String font) { return getFont(font).metrics.getMaxDescent(); }
protected boolean _supressDirtyOnResize() { return true; }
+ protected void postInit() {
+ if (Log.on) Log.log(Platform.class, " color depth = " +
+ Toolkit.getDefaultToolkit().getColorModel().getPixelSize() + "bpp");
+ }
+
protected void _criticalAbort(String message) {
if (Log.on) Log.log(this, message);
final Dialog d = new Dialog(new Frame(), "XWT Cannot Continue");