void (StringBuilder sb, GraphicsDevice device) { append(sb, "id", device.getIDstring()); append(sb, "type", getTypeName(device.getType())); append(sb, device.getDisplayMode()); GraphicsConfiguration configuration = device.getDefaultConfiguration(); append(sb, "outer", configuration.getBounds()); append(sb, "inner", ScreenUtil.getScreenRectangle(configuration)); append(sb, "default image", configuration.getImageCapabilities()); BufferCapabilities capabilities = configuration.getBufferCapabilities(); append(sb, "front buffer image", capabilities.getFrontBufferCapabilities()); append(sb, "back buffer image", capabilities.getBackBufferCapabilities()); sb.append("page flipping: ").append(capabilities.getFlipContents()); if (capabilities.isFullScreenRequired()) { sb.append("; full-screen exclusive mode is required"); } if (capabilities.isMultiBufferAvailable()) { sb.append("; more than two buffers can be used"); } sb.append("\n"); }