Stian Grenborgen

@sumpfralle : Are you experiencing the same issue using the [new development build](https://github.com/FreeCol/freecol/releases/tag/latest)?

I am guessing you are experiencing one of these two issues: 1. Did you change the scaling while the colony management panel was open? If yes, the issue is fixed...

Are you running Windows? If yes, try the installer that includes Java: https://sourceforge.net/projects/freecol/files/freecol/freecol-0.12.0/freecol-0.12.0-with-java.exe/download

Closing since you have not provided a response to the previous question. I'm guessing the Windows installer worked for you :-)

The "--gui-scale" parameter was removed from the game in version 0.12.0. The question is why the automatic font scaling didn't work for you. Please create a bug report here: [https://sourceforge.net/p/freecol/bugs/new/](https://sourceforge.net/p/freecol/bugs/new/)...

There are three things I don't like about this approach: 1. We lose the revision history for all the files a second time (unlike the code, the revision history was...