[isabelle-dev] Missing letters in jEdit
makarius at sketis.net
Thu Sep 19 00:06:58 CEST 2013
On Tue, 17 Sep 2013, Jasmin Blanchette wrote:
> I had the same issue with Monaco, which is definitely a standard Mac
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.
More information about the isabelle-dev