| commit | f5d79f1493a5902b593841335f782dfe34c39fed | [log] [tgz] |
|---|---|---|
| author | alexsch <none@none> | Thu Jun 09 12:32:04 2016 +0300 |
| committer | alexsch <none@none> | Thu Jun 09 12:32:04 2016 +0300 |
| tree | 0eca185043a4604b7eeaa18dd957f4ab5db012f7 | |
| parent | 03a36cf0ac3ec2744ba3d110c1895cf3888ebae6 [diff] |
8158178: java.awt.SplashScreen.getSize() returns incorrect size for high dpi splash screens Reviewed-by: alexsch, serb Contributed-by: Robin Stevens <robin.stevens@scz.be>