[isabelle-dev] Missing letters in jEdit

[Makarius]

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 
subsystem.


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.


 	Makarius