Updated Dutch translation
Merge pull request #553 from MRIG/master

Updated Dutch translation
Updated Dutch translation
Merge pull request #554 from MRIG/master

Updated Dutch translation
Fix #9948: Don't optimize isnan() away

I wonder why they broke this and what will be next ...
First batch of high DPI fixes

Soem small things like the triangles in our custom dr widgets are still
missing, but the big issues should be solved now.
I only tested these thigns by setting the screen DPI using xrandr, I am
not 100% sure if that is a perfect simulation.
People using a high DPI screen should still set the panel_width in the
config to something bigger.