GUI: fix HighDPI issues under Windows.
|Status:||Resolved||Start date:||05 May 2020|
|Target version:||Sprint 43|
It might be not easily possible, but at least would be nice to estimate the amount of necessary work. Ideally, would be cool to fix at least most prominent glitches.