# HG changeset patch
# User wenzelm
# Date 1406132164 -7200
# Node ID a7acd2d8c2fb0cdd0fb0e44aa0b2401883db4531
# Parent  249c0297cf10ea9be173b22a0fc8b2d727c9a89b
enable hires explictly, as seen for other high-end Java applications on the Web;

diff -r 249c0297cf10 -r a7acd2d8c2fb Admin/MacOS/Info.plist-part1
--- a/Admin/MacOS/Info.plist-part1	Wed Jul 23 18:14:59 2014 +0200
+++ b/Admin/MacOS/Info.plist-part1	Wed Jul 23 18:16:04 2014 +0200
@@ -28,6 +28,8 @@
 <string></string>
 <key>LSApplicationCategoryType</key>
 <string>public.app-category.developer-tools</string>
+<key>NSHighResolutionCapable</key>
+<string>true</string>
 <key>JVMRuntime</key>
 <string>jdk</string>
 <key>JVMMainClassName</key>
diff -r 249c0297cf10 -r a7acd2d8c2fb Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Wed Jul 23 18:14:59 2014 +0200
+++ b/Admin/Release/CHECKLIST	Wed Jul 23 18:16:04 2014 +0200
@@ -54,6 +54,8 @@
 - check "Handler catches all exceptions", using
   PolyML.Compiler.reportExhaustiveHandlers := true;
 
+- Mac OS X: check app bundle with Retina display;
+
 
 Repository fork
 ===============