Email Gateway (Aug 19 2022 at 08:56): Email Gateway (Aug 19 2022 at 08:56):From: "Aaron W. Hsu" <arcfide@sacrideo.us>
I am trying to examine the possibility of using some different fonts with
jEdit in Isabelle. My normal 5.0 version of jEdit with my Java runtime
works fine to give me certain fonts (FreeFont, OTF, in particular), and I
have checked that it has the glyphs that I care about, but for some
reason, the Isabelle/jEdit instance is not giving me those fonts as an
option. Is there some way to get this? Is it just that it is running with
a different JVM version, or is it something in the way jEdit is combined
with Isabelle, or something else entirely?
Email Gateway (Aug 19 2022 at 08:56):From: Makarius <makarius@sketis.net>
The easiest way to make OTF fonts work with the classic JVM 1.6 that is
bundled with Isabelle2012 is to use fontforge to convert to TTF, and place
the results in ~/.fonts/ in the usual way. You should then load
Isabelle2012/etc/symbols with the UTF8-isabelle encoding to see if
everything works out.
Generally, arbitrary selections of Linux packages with a substring "jdk"
or "jedit" or "scala" in the name won't work together by default to host
Isabelle/jEdit adequately. OpenJDK 1.6 is not worth trying -- I gave up
on it 1-2 years ago. OpenJDK 1.7 is a bit better, but not quite there
yet, and Isabelle2012 requires 1.6 anyway.
It is one of the big advantages of Isabelle/jEdit that it is not at the
mercy of accidental packages found on the user's system, unlike Proof
General with its constant worries about Emacs varieties.
What is your "normal 5.0 version of jEdit" exactly? I've been testing
5.0pre1 myself several weeks, until I had to revert to stable 4.5.2 due to
I/O dropouts on Linux with the 5.0 testing branch. The jEdit maintainers
seem to be lagging behind their original release plans for 5.0 for several
weeks. Although that is not really relevant for Isabelle/jEdit, since it
comes with its statically bundled jEdit 4.5.1 distribution, a version that
has been tested a lot. (It is also slightly patched to make advanced text
rendering work in the first place, see also
http://isabelle.in.tum.de/repos/isabelle/file/Isabelle2012/src/Tools/jEdit/patches/jedit-4.5.1
Makarius
Last updated: Apr 26 2024 at 08:19 UTC