| commit | 909d03ee9f4aa00bf6607cd65fc03f298dc334cb | [log] [tgz] |
|---|---|---|
| author | Robin Stevens <robin.stevens@scz.be> | Thu Jun 09 12:32:04 2016 +0300 |
| committer | Alexander Scherbatiy <alexsch@openjdk.org> | Thu Jun 09 12:32:04 2016 +0300 |
| tree | 9c089574a9ce80322da3f8acce14fbb446cc42d9 | |
| parent | 8adb61f52f562955578661e515d8a2dc8190b1d8 [diff] |
8158178: java.awt.SplashScreen.getSize() returns incorrect size for high dpi splash screens Reviewed-by: alexsch, serb