Re: [isabelle] Isabelle2014-RC0 available for testing



On 21 Jul 2014, at 12:03 pm, Makarius <makarius at sketis.net> wrote:
>
> Lets try the following change to Isabelle2014-RC0.app/Contents/Info.plist:
>
>    <key>NSHighResolutionCapable</key>
>    <string>true</string>

Yup, that does it. I had to move the application bundle out of /Applications and back in, but after that it worked. It also correctly shows the non-low-resolution checkbox when you right-click and ask for info on the application.

Now the only step missing to MacOS bliss is passing in files to open.. ;-)

Cheers,
Gerwin

________________________________

The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.