Added HDPI scaling via config file
Previously to this the flat GUI had some problems with bad scaling on hdpi display. With this MR, users can now set their preferred GUI scale in the vadere config file.
29. April 2024: Due to updates GitLab may be unavailable for some minutes between 10:00 and 12:00.
Previously to this the flat GUI had some problems with bad scaling on hdpi display. With this MR, users can now set their preferred GUI scale in the vadere config file.