diff options
| author | adrido <addi@king-arthur.eu> | 2016-10-29 18:01:37 +0200 |
|---|---|---|
| committer | paramat <mat.gregory@virginmedia.com> | 2016-11-07 21:55:01 +0000 |
| commit | 295232667eb25f6eef9ed3b06d6a71a5cdcc9476 (patch) | |
| tree | a7432ca01fb551d717cfe75d88420f94ce4e1297 /builtin/mainmenu | |
| parent | ad4bf2ccf966ac21b94f1778a017ac98f8957ab6 (diff) | |
| download | minetest-295232667eb25f6eef9ed3b06d6a71a5cdcc9476.tar.gz minetest-295232667eb25f6eef9ed3b06d6a71a5cdcc9476.tar.bz2 minetest-295232667eb25f6eef9ed3b06d6a71a5cdcc9476.zip | |
Windows: Add manifest file and set "High DPI Aware" true
This resolves washy font and incorrect mouse handling on Windows if
a screen with high DPI is used.
Diffstat (limited to 'builtin/mainmenu')
0 files changed, 0 insertions, 0 deletions