Two small comments:
- It looks like that after the fix we will reset the value to "null"
even if it was set by the user, for example the user may want to
minimize the memory footprint if he knows that application limite the
size of the windows.
- setDoubleBufferMaximumSize includes clearImages() so it can be
removed from displayChanged();
On 12/02/2018 02:12, Alexey Ushakov wrote:
Thanks, for the catch, Laurent!
I forgot to remove my debug output that I used to detect the problem and
verify the fix. It might be useful for reviewers though, so I left the
original webrev as is and added the new one.
On 12 Feb 2018, at 12:14, Laurent Bourgès <bourges.laur...@gmail.com
I am not an official reviewer.
I just noted you left a stdout statement that should be removed or
commented out (trace).
You fix seems trivial
Le 12 févr. 2018 09:14, "Alexey Ushakov" <alexey.usha...@jetbrains.com
<mailto:alexey.usha...@jetbrains.com>> a écrit :
Here is the fix of the RepaintManager that adjust maximum double
buffer size after changes in the display environment. The fix is
targeted for openjdk10 but the problem exists in previous
releases. Please, have a look.
Best regards, Sergey.