Re: [isabelle] Nitpick Output/jEdit Support for Subscripts



On Fri, 2012-07-27 at 15:52 +0200, Makarius wrote:
> Black rectangles mean you have an old version of the IsabelleText font 
> hanging around on your system, such as ~/.fonts/ on Linux. Better delete 
> that, or if you really think you need it indepedently of Isabelle/jEdit, 
> copy afresh from Isabelle2012/lib/fonts/.

Thanks, that fixed the arrows.

> Note that the JVM can load fonts dynamically without any "installation", 
> but having installed one already prevents loading another one under 
> program control.

It is not possible to load a font from a font file, and to use it
independently of the fonts installed already? JVM font management seems
broken in more ways than one.

Best regards,
Tjark







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