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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and