protected Surface _createSurface(Box b, boolean framed) { return new AWTSurface(b, framed); }
protected void postInit() {
- if (Log.on) Log.info(Platform.class, " color depth = " +
+ if (Log.on) Log.diag(Platform.class, " color depth = " +
Toolkit.getDefaultToolkit().getColorModel().getPixelSize() + "bpp");
}
maxRectTexSize = 0;
rectangularTextures = false;
}
- Log.info(this,"Renderer: " + renderer);
- Log.info(this,"Version: " + version);
- Log.info(this,"Vendor: " + vendor);
- Log.info(this,"Rectangular textures: " + (rectangularTextures ? "supported" : "unsupported"));
- Log.info(this,"Max texture size: " + maxTexSize);
- Log.info(this,"Max rectangular texture size: " + maxRectTexSize);
+ Log.diag(this,"Renderer: " + renderer);
+ Log.diag(this,"Version: " + version);
+ Log.diag(this,"Vendor: " + vendor);
+ Log.diag(this,"Rectangular textures: " + (rectangularTextures ? "supported" : "unsupported"));
+ Log.diag(this,"Max texture size: " + maxTexSize);
+ Log.diag(this,"Max rectangular texture size: " + maxRectTexSize);
}
protected abstract void activateSharedInterpreter();
Semaphore waitForCreation = new Semaphore();
public native void setInvisible(boolean i);
- public void _setMaximized(boolean m) { if (Log.on) Log.info(this, "X11 can't maximize windows"); }
+ public void _setMaximized(boolean m) { if (Log.on) Log.warn(this, "X11 can't maximize windows"); }
public native void setIcon(Picture p);
public native void _setMinimized(boolean b);
public native void setTitleBarText(String s);
if (firstMessage && !logDates) {
firstMessage = false;
System.err.println(color(GREEN, false, "==========================================================================="));
- String incolor = color ? "in " +
+ diag(Log.class, "Logging enabled at " + new java.util.Date());
+ if (color) diag(Log.class, "logging messages in " +
color(BLUE, true, "c") +
color(RED, true, "o") +
color(CYAN, true, "l") +
color(GREEN, true, "o") +
- color(PURPLE, true, "r") + " " : "";
- diag(Log.class, "Logging enabled at " + new java.util.Date() + " " + incolor);
+ color(PURPLE, true, "r"));
}
String classname;