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.
2024-07-31: Due to updates GitLab may be unavailable for some minutes between 13:00 and 15: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.