[isabelle-dev] Missing letters in jEdit
makarius at sketis.net
Mon Sep 30 11:48:10 CEST 2013
On Thu, 19 Sep 2013, Makarius wrote:
> On Tue, 17 Sep 2013, Jasmin Blanchette wrote:
>> I had the same issue with Monaco, which is definitely a standard Mac font.
> I have played with this font a bit, but did not see anything suspicious so
> far. I will use it more often in my office.
>> Since the problem is nondetermistic, it's a bit hard to test. But it seems
>> to affect only the very first font loaded. All the other fonts, of
>> different sizes or from different families, are fine, but when I revert
>> back to the initial font (the font that was set as the default when I
>> launched jEdit), it's just as broken as initially.
> Strange, there might be some operating system font cache involved.
> Note that IsabelleText is loaded differently: assuming that it is *not*
> installed on the system, which should normally be the case, it gets loaded
> directly from the lib/fonts/IsabelleText.ttf file by the Java 2D rendering
> Another thing to watch for are JVM exception traces. If you start
> "isabelle jedit" on some Terminal, it will "vomit" on the console when
> something is wrong, e.g. during painting. The painting layers
> spontaneously recover from crashes after printing the exception trace,
> but visual drop-outs remain.
Yesterday I've seen this with Monaco on Mountain Lion, using something
Both text renderers of jEdit and Isabelle/jEdit produced these drop-outs.
I suspect it is a general problem of jdk-7u40 on Mac OS X (it might have
been there with other jdk-7 versions already).
More information about the isabelle-dev