Admin/MacOS/Info.plist-part1
changeset 61183 de767684bb33
parent 57624 a7acd2d8c2fb
child 61184 554bba935af1
     1.1 --- a/Admin/MacOS/Info.plist-part1	Wed Sep 16 20:38:06 2015 +0200
     1.2 +++ b/Admin/MacOS/Info.plist-part1	Wed Sep 16 20:54:41 2015 +0200
     1.3 @@ -9,7 +9,7 @@
     1.4  <key>CFBundleIconFile</key>
     1.5  <string>isabelle.icns</string>
     1.6  <key>CFBundleIdentifier</key>
     1.7 -<string>de.tum.in.isabelle</string>
     1.8 +<string>de.tum.in.isabelle.{ISABELLE_NAME}</string>
     1.9  <key>CFBundleDisplayName</key>
    1.10  <string>{ISABELLE_NAME}</string>
    1.11  <key>CFBundleInfoDictionaryVersion</key>
    1.12 @@ -26,13 +26,34 @@
    1.13  <string>1</string>
    1.14  <key>NSHumanReadableCopyright</key>
    1.15  <string></string>
    1.16 +<key>LSMinimumSystemVersion</key>
    1.17 +<string>10.7</string>
    1.18  <key>LSApplicationCategoryType</key>
    1.19  <string>public.app-category.developer-tools</string>
    1.20  <key>NSHighResolutionCapable</key>
    1.21  <string>true</string>
    1.22 +<key>NSSupportsAutomaticGraphicsSwitching</key>
    1.23 +<string>true</string>
    1.24  <key>JVMRuntime</key>
    1.25  <string>jdk</string>
    1.26  <key>JVMMainClassName</key>
    1.27  <string>isabelle.Main</string>
    1.28 +<key>CFBundleDocumentTypes</key>
    1.29 +<array>
    1.30 +<dict>
    1.31 +<key>CFBundleTypeExtensions</key>
    1.32 +<array>
    1.33 +<string>thy</string>
    1.34 +</array>
    1.35 +<key>CFBundleTypeIconFile</key>
    1.36 +<string>theory.icns</string>
    1.37 +<key>CFBundleTypeName</key>
    1.38 +<string>Isabelle theory file</string>
    1.39 +<key>CFBundleTypeRole</key>
    1.40 +<string>Editor</string>
    1.41 +<key>LSTypeIsPackage</key>
    1.42 +<false/>
    1.43 +</dict>
    1.44 +</array>
    1.45  <key>JVMOptions</key>
    1.46  <array>