mirror of
https://github.com/moparisthebest/minetest
synced 2025-03-09 22:29:41 -04:00

This resolves washy font and incorrect mouse handling on Windows if a screen with high DPI is used.
This resolves washy font and incorrect mouse handling on Windows if a screen with high DPI is used.