Hello.
Please review the fix for jdk 12.
Bug: https://bugs.openjdk.java.net/browse/JDK-8211992
Webrev: http://cr.openjdk.java.net/~serb/8211992/webrev.00
Short description:
The root cause is how we use CoreGraphics display ID. This identifier can
become non-valid at any time therefore methods
I intend to push this with myself & Laurent as reviewers.
OK by all ?
-phil.
On 10/11/18, 12:22 PM, Phil Race wrote:
Very well done analysis of the options and very thorough testing of
the effects
on the different libraries/platforms.
> There are some alternatives to setting the filter:
>