Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
enable hires explictly, as seen for other high-end Java applications on the Web;
authorwenzelm
Wed, 23 Jul 2014 18:16:04 +0200
changeset 57624 a7acd2d8c2fb
parent 57623 249c0297cf10
child 57625 2a9d8dcea893
enable hires explictly, as seen for other high-end Java applications on the Web;
Admin/MacOS/Info.plist-part1 file | annotate | diff | comparison | revisions
Admin/Release/CHECKLIST file | annotate | diff | comparison | revisions 
--- 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>
--- 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
 ===============
isabelle