Email Gateway (Aug 22 2022 at 20:03): Email Gateway (Aug 22 2022 at 20:03):From: "Dr. Brendan Patrick Mahony" <mahonybp@tpg.com.au>
Sorry to be late to this party. The new fonts look great on my 15” MacBook Pro.
My query is about the use of secondary fonts.
I make use of a secondary font to provide access to "private area” characters in my ~/.Isabelle/Isabelle2019/etc/symbols file.
For example:
\<xexprel> code: 0x00e18D group: 3xMath font: IsabelleTextStix
In Isabelle 2019 this font now renders at about 2/3 size.
Isabelle 2019:
In Isabelle 2018 this did not occur.
Isabelle 2018:
Nor does it happen in for example Pages:
Is this a known thing? Is there some Jedit setting I can adjust? Can I “scale” the IsabelleTextStix font in the symbols file?
It is bearable, but I’d like to fix it.
Cheers,
Brendan
Email Gateway (Aug 22 2022 at 20:17):From: Makarius <makarius@sketis.net>
On 19/06/2019 04:29, Dr. Brendan Patrick Mahony wrote:
On 11 Jun 2019, at 7:10 am, Makarius <makarius@sketis.net> wrote:
- Improved "Isabelle DejaVu" font collection, suitable for text and GUI.
Sorry to be late to this party. The new fonts look great on my 15” MacBook Pro.
(This merely means that I am now extra-late to answer this, after the
Isabelle2019 release and the travels after are finished.)
My query is about the use of secondary fonts.
For example:
\<xexprel> code: 0x00e18D group: 3xMath font: IsabelleTextStix
In Isabelle 2019 this font now renders at about 2/3 size.
Is this a known thing? Is there some Jedit setting I can adjust?
I don't know if it should be known. Java font management has always been
a bit strange, and Java 11 (Isabelle2019) changes many things over Java
8 (Isabelle2018).
The relevant operation in Isabelle/Scala is GUI.imitate font. You can
try it in the Console/Scala window of Isabelle/jEdit like this:
scala> val font1 = view.getTextArea.getPainter.getFont
font1: java.awt.Font = java.awt.Font[family=Isabelle DejaVu Sans
Mono,name=Isabelle DejaVu Sans Mono,style=plain,size=36]
scala> val font2 = GUI.imitate_font(font1, "STIXGeneral")
font2: java.awt.Font =
java.awt.Font[family=STIXGeneral,name=STIXGeneral,style=plain,size=27]
Can I “scale” the IsabelleTextStix font in the symbols file?
Is this a home-made font? You could use fontforge to change its relative
size, but I don't understand all fine points of this sophisticated tool.
Isabelle/Scala now provides the administrative tool "build_fonts" to run
fontforge in batch-mode to assemble glyphs from various fonts, using
DejaVu as the basis, which also defines the overall metrics. This is
also the reason for the change (improvement) of Isabelle font sizes in
Isabelle2019. See
https://isabelle.in.tum.de/repos/isabelle/file/Isabelle2019/src/Pure/Admin/build_fonts.scala
for details.
That follows the general principle of current Isabelle font handling:
all special glyphs are internalized into the main font, extra font
substitutions are avoided.
Makarius
Last updated: Apr 23 2024 at 04:18 UTC