# HG changeset patch
# User wenzelm
# Date 1407528302 -7200
# Node ID be1bcec136630d0f6dc8481e4abf92366ee707ff
# Parent  56168065136455f40f6cb53f5050be8971545779
application manifest for Windows 8/8.1 dpi scaling;

diff -r 561680651364 -r be1bcec13663 Admin/Windows/WinRun4J/manifest.xml
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/Windows/WinRun4J/manifest.xml	Fri Aug 08 22:05:02 2014 +0200
@@ -0,0 +1,9 @@
+<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
+<assembly xmlns="urn:schemas-microsoft-com:asm.v1" manifestVersion="1.0" xmlns:asmv3="urn:schemas-microsoft-com:asm.v3" >
+ <asmv3:application>
+   <asmv3:windowsSettings xmlns="http://schemas.microsoft.com/SMI/2005/WindowsSettings">
+    <dpiAware>true</dpiAware>
+   </asmv3:windowsSettings>
+ </asmv3:application>
+</assembly>
+
diff -r 561680651364 -r be1bcec13663 Admin/lib/Tools/makedist_bundle
--- a/Admin/lib/Tools/makedist_bundle	Fri Aug 08 20:17:13 2014 +0200
+++ b/Admin/lib/Tools/makedist_bundle	Fri Aug 08 22:05:02 2014 +0200
@@ -212,6 +212,7 @@
     ) > "$ISABELLE_TARGET/${ISABELLE_NAME}.ini"
 
     cp "$TMP/windows_app/Isabelle.exe" "$ISABELLE_TARGET/${ISABELLE_NAME}.exe"
+    cp "$ISABELLE_HOME/Admin/Windows/WinRun4J/manifest.xml" "$ISABELLE_TARGET/${ISABELLE_NAME}.exe.manifest"
     cp "$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Setup.bat" \
       "$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Terminal.bat" "$ISABELLE_TARGET"