UI scaling is poor on High-DPI monitors

[fabianhick]

Using a high-definition monitor, the UI elements and text are tiny.

[buehlefs]

If automatic high dpi detection does not work, there is a constructor to manual set a scaling factor:

ICGE2/ICGE-Ui/src/main/java/de/unistuttgart/informatik/fius/icge/ui/WindowBuilder.java

Line 62 in 49d372f

public WindowBuilder(double dpiScale) {

[ruffdd]

Mit den neuen Bildschirmen im Pool, sollte man da ein auge Darauf haben. Die sind alls HDPI