Re: [8] Review request for JDK-8158178: java.awt.SplashScreen.getSize() returns incorrect size for high dpi splash screens

[Alexander Scherbatiy]

The fix looks good to me.

Thanks,
Alexandr.

On 31/05/16 00:14, Robin Stevens wrote:

Hello,

please review the patch for JDK-8158178 (https://bugs.openjdk.java.net/browse/JDK-8158178):

http://cr.openjdk.java.net/~alexsch/robin.stevens/8158178/jdk8/webrev.00/ <http://cr.openjdk.java.net/%7Ealexsch/robin.stevens/8158178/jdk8/webrev.00/>

Thanks,

Robin