< 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 >