});
fsWindow.addWindowListener(new WindowHandler());
dev.setFullScreenWindow(fsWindow);
if (dmChange && dev.isDisplayChangeSupported()) {
DisplayMode dms[] = dev.getDisplayModes();
DisplayMode myDM = null;
for (DisplayMode dm : dms) {
if (dm.getWidth() == 800 && dm.getHeight() == 600 &&
(dm.getBitDepth() >= 16 ||
dm.getBitDepth() == DisplayMode.BIT_DEPTH_MULTI) &&
(dm.getRefreshRate() >= 60 ||
dm.getRefreshRate() == DisplayMode.REFRESH_RATE_UNKNOWN))
{
myDM = dm;
break;
}
}
if (myDM != null) {
System.err.println("Setting Display Mode: "+
myDM.getWidth() + "x" + myDM.getHeight() + "x" +
myDM.getBitDepth() + "@" + myDM.getRefreshRate() +
"Hz on device" + dev);
dev.setDisplayMode(myDM);
} else {
System.err.println("Can't find suitable display mode.");
}