[DE] Added resolution aware scaling for GUI elements

Karsten Rinkrequested to merge
rinkk/ogs:Gui4kSupport into master

I.e. scaling now also works correctly on 4k displays.

Merge request reports