# HG changeset patch
# User reimar
# Date 1397896217 0
# Node ID a6b7e61e4af15ffda776ffaed92437b53c75e543
# Parent  7a071c9f298d3188540c25e352709a934f564365
Disable system DPI scaling on Windows.

We scale the video just fine (or rather, better)
ourselves.
The GUI might be in trouble here though, since it
does not want its video to be scaled by the OS but
it also isn't DPI aware either...

diff -r 7a071c9f298d -r a6b7e61e4af1 osdep/mplayer.exe.manifest
--- a/osdep/mplayer.exe.manifest	Thu Apr 17 13:30:33 2014 +0000
+++ b/osdep/mplayer.exe.manifest	Sat Apr 19 08:30:17 2014 +0000
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="UTF-8" standalone="yes"?>
-<assembly xmlns="urn:schemas-microsoft-com:asm.v1" manifestVersion="1.0">
+<assembly xmlns="urn:schemas-microsoft-com:asm.v1" manifestVersion="1.0" xmlns:asmv3="urn:schemas-microsoft-com:asm.v3">
     <assemblyIdentity
         version="0.0.9.0"
         processorArchitecture="*"
@@ -16,4 +16,9 @@
             </requestedPrivileges>
         </security>
     </trustInfo>
+    <asmv3:application>
+        <asmv3:windowsSettings xmlns="http://schemas.microsoft.com/SMI/2005/WindowsSettings">
+            <dpiAware>True/PM</dpiAware>
+        </asmv3:windowsSettings>
+    </asmv3:application>
 </assembly>