< prev index next >

src/java.desktop/share/classes/javax/swing/RepaintManager.java

Print this page

        

*** 334,343 **** --- 334,347 ---- processingRunnable = new ProcessingRunnable(); } private void displayChanged() { clearImages(); + + // Reset buffer maximum size to get valid size from updated graphics + // environment in getDoubleBufferMaximumSize() + setDoubleBufferMaximumSize(null); } /** * Mark the component as in need of layout and queue a runnable * for the event dispatching thread that will validate the components
*** 1205,1214 **** --- 1209,1221 ---- virtualBounds.height); } catch (HeadlessException e) { doubleBufferMaxSize = new Dimension(Integer.MAX_VALUE, Integer.MAX_VALUE); } } + if (doubleBufferMaxSize != null) { + System.err.println("Buffer size " + doubleBufferMaxSize.width + ", " + doubleBufferMaxSize.height); + } return doubleBufferMaxSize; } /** * Enables or disables double buffering in this RepaintManager.
< prev index next >