Re: [isabelle] Funny font metrics in the Search and Replace dialog [Isabelle2016-RC2]
On 29 January, 2016 20:23 CET, Makarius <makarius at sketis.net> 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