< prev index next >

src/java.desktop/windows/classes/sun/awt/windows/WWindowPeer.java

Print this page

        

*** 538,548 **** // get current GD Win32GraphicsDevice oldDev = winGraphicsConfig.getDevice(); Win32GraphicsDevice newDev; ! GraphicsDevice devs[] = GraphicsEnvironment .getLocalGraphicsEnvironment() .getScreenDevices(); // Occasionally during device addition/removal getScreenImOn can return // a non-existing screen number. Use the default device in this case. if (scrn >= devs.length) { --- 538,548 ---- // get current GD Win32GraphicsDevice oldDev = winGraphicsConfig.getDevice(); Win32GraphicsDevice newDev; ! GraphicsDevice[] devs = GraphicsEnvironment .getLocalGraphicsEnvironment() .getScreenDevices(); // Occasionally during device addition/removal getScreenImOn can return // a non-existing screen number. Use the default device in this case. if (scrn >= devs.length) {
< prev index next >