Re: [isabelle] Font substitution and handling in Isabelle/jEdit



On Tue, 15 Sep 2015, Rafal Kolanski wrote:

There is a small update to this. Because some fonts (e.g. IsabelleText)
are dynamically inserted at Isabelle plugin load into the graphics
context *after* jEdit has loaded all properties ("settings"), jEdit
doesn't see them.

I have recently made various reforms in the isabelle.Main vs. jedit.jar initialization sequence, which is relevant for the coming winter release of Isabelle2016.

If there are remaining problems, we should continue the discussion on the isabelle-dev mailing list. The current point of reference is changeset be3a5fee11e3.


	Makarius




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