Re: [isabelle] Funny font metrics in the Search and Replace dialog [Isabelle2016-RC2]

On 29 January, 2016 20:23 CET, Makarius <makarius at> wrote:

> What is missing in the main text area is proper bold.  Hopefully this will
> display correctly after installing IsabelleTextBold as well.  (Otherwise
> we are back to strange Apple/Java font rendering problems from Java 6.)

Bold is displayed property if also installed.  Font in main text area still appears narrower though.

> I am also puzzled that no other OSX Retina user has seen this problem
> before (or seen and not reported).

So am I.


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