protected Surface _createSurface(Box b, boolean framed) { return new AWTSurface(b, framed); }
protected void postInit() {
- if (Log.on) Log.log(Platform.class, " color depth = " +
+ if (Log.on) Log.info(Platform.class, " color depth = " +
Toolkit.getDefaultToolkit().getColorModel().getPixelSize() + "bpp");
}
protected void _criticalAbort(String message) {
- if (Log.on) Log.log(this, message);
+ if (Log.on) Log.info(this, message);
final Dialog d = new Dialog(new Frame(), "XWT Cannot Continue");
d.setLayout(new BorderLayout());
TextArea ta = new TextArea("XWT cannot continue because:\n\n" + message, 10, 80);
public void setIcon(Picture i) { if (frame != null) frame.setIconImage(((AWTPicture)i).i); }
public void _setSize(int width, int height) { window.setSize(width + (insets.left + insets.right), height + (insets.top + insets.bottom)); }
public void setInvisible(boolean b) { window.setVisible(!b); }
- protected void _setMinimized(boolean b) { if (Log.on) Log.log(this, "JDK 1.1 platforms cannot minimize or unminimize windows"); }
+ protected void _setMinimized(boolean b) { if (Log.on) Log.info(this, "JDK 1.1 platforms cannot minimize or unminimize windows"); }
protected void _setMaximized(boolean b) {
if (!b) {
- if (Log.on) Log.log(this, "JDK 1.1 platforms cannot unmaximize windows");
+ if (Log.on) Log.info(this, "JDK 1.1 platforms cannot unmaximize windows");
return;
}
window.setLocation(new Point(0, 0));
// this is here to catch HeadlessException on jdk1.4
} catch (java.lang.UnsupportedOperationException e) {
- if (Log.on) Log.log(this, "Exception thrown in AWTSurface$InnerFrame() -- this should never happen");
- if (Log.on) Log.log(this, e);
+ if (Log.on) Log.info(this, "Exception thrown in AWTSurface$InnerFrame() -- this should never happen");
+ if (Log.on) Log.info(this, e);
}
insets = window.getInsets();
PixelGrabber pg = new PixelGrabber(i, 0, 0, width, height, data, 0, width);
pg.grabPixels();
if ((pg.getStatus() & ImageObserver.ABORT) != 0)
- Log.log(this, "PixelGrabber reported an error while decoding JPEG image");
+ Log.info(this, "PixelGrabber reported an error while decoding JPEG image");
p.width = width;
p.height = height;
p.data = data;
} catch (Exception e) {
- Log.log(this, "Exception caught while decoding JPEG image");
- Log.log(this, e);
+ Log.info(this, "Exception caught while decoding JPEG image");
+ Log.info(this, e);
}
}
}