gama-platform / gama.old

Main repository for developing the 1.x versions of GAMA
GNU General Public License v3.0
304 stars 99 forks source link

Windows: Splash screen appears zoomed after setting the workspace in windows with a scaling ratio #3674

Closed lesquoyb closed 1 year ago

lesquoyb commented 1 year ago

Describe the bug As the title says: the splash screen is scaled once we select the workspace. This happens only on windows with a scaling ratio that is not 100% or 200% It happens in the git version as well as in the release. Eclipse doesn't have that bug image

lesquoyb commented 1 year ago

The trick mentioned in https://github.com/gama-platform/gama/issues/3673#issuecomment-1475188739 does solve this problem, beware to set it to system and not system (enhanced) as I wrongfully stated in the original comment (edited now), else you'll have a mosaic of splash screens instead: image @AlexisDrogoul did you manage to reproduce this one on your computer ? If so can you try the trick mentioned above ?

lesquoyb commented 1 year ago

I added this setting in the installation script in a commit , it is now by default installed with the system value and seems to be fixed, tested on three different systems. In some systems the splash screen turns to grey just before gama opens, but the text (starting gama) stays there and there's no blinking phase or anything, I think it's something we can live with. It definitely is better than the zoom bug anyway so closing for now, feel free to reopen if it's causing any trouble