enable hires explictly, as seen for other high-end Java applications on the Web;
1.1 --- a/Admin/MacOS/Info.plist-part1 Wed Jul 23 18:14:59 2014 +0200
1.2 +++ b/Admin/MacOS/Info.plist-part1 Wed Jul 23 18:16:04 2014 +0200
1.3 @@ -28,6 +28,8 @@
1.4 <string></string>
1.5 <key>LSApplicationCategoryType</key>
1.6 <string>public.app-category.developer-tools</string>
1.7 +<key>NSHighResolutionCapable</key>
1.8 +<string>true</string>
1.9 <key>JVMRuntime</key>
1.10 <string>jdk</string>
1.11 <key>JVMMainClassName</key>
2.1 --- a/Admin/Release/CHECKLIST Wed Jul 23 18:14:59 2014 +0200
2.2 +++ b/Admin/Release/CHECKLIST Wed Jul 23 18:16:04 2014 +0200
2.3 @@ -54,6 +54,8 @@
2.4 - check "Handler catches all exceptions", using
2.5 PolyML.Compiler.reportExhaustiveHandlers := true;
2.6
2.7 +- Mac OS X: check app bundle with Retina display;
2.8 +
2.9
2.10 Repository fork
2.11 ===============