import org.xwt.*;
import org.xwt.util.*;
-import org.mozilla.javascript.*;
import java.net.*;
import java.io.*;
import java.util.*;
protected boolean _supressDirtyOnResize() { return true; }
protected void postInit() {
- 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) {