From 295232667eb25f6eef9ed3b06d6a71a5cdcc9476 Mon Sep 17 00:00:00 2001
From: adrido <addi@king-arthur.eu>
Date: Sat, 29 Oct 2016 18:01:37 +0200
Subject: 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.
---
 misc/minetest.exe.manifest | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 misc/minetest.exe.manifest

(limited to 'misc')

diff --git a/misc/minetest.exe.manifest b/misc/minetest.exe.manifest
new file mode 100644
index 000000000..3c32b0f8b
--- /dev/null
+++ b/misc/minetest.exe.manifest
@@ -0,0 +1,15 @@
+<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
+<assembly xmlns="urn:schemas-microsoft-com:asm.v1" manifestVersion="1.0">
+    <trustInfo xmlns="urn:schemas-microsoft-com:asm.v3">
+        <security>
+            <requestedPrivileges>
+                <requestedExecutionLevel level="asInvoker" uiAccess="false"></requestedExecutionLevel>
+            </requestedPrivileges>
+        </security>
+    </trustInfo>
+    <application xmlns="urn:schemas-microsoft-com:asm.v3">
+        <windowsSettings>
+            <dpiAware xmlns="http://schemas.microsoft.com/SMI/2005/WindowsSettings">true</dpiAware>
+        </windowsSettings>
+    </application>
+</assembly>
-- 
cgit v1.2.3