Hello guys! o)
Since you put a lot of effort into DO to support all kind of Windows10 and DPI related foo, you might be interested in this little screenshot: https://www.haage-partner.de/forum/viewtopic.php?f=47&t=5127&p=24139
The user came into the german forum asking for help because he could not read what’s in the prefs/customize windows.
It turned out he had the Windows scaling (?) set to 125%, after turning it back to 100% all was fine.
Isn’t that Windows setting one which shouldn’t create such problems or is something like shown still likely to happen with Windows 10? I do not own a computer running Windows 10, I can’t tell! o)