changeset 37058:a6b7e61e4af1

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...
author reimar
date Sat, 19 Apr 2014 08:30:17 +0000
parents 7a071c9f298d
children 8927089e83ed
files osdep/mplayer.exe.manifest
diffstat 1 files changed, 6 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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>