71
82%

Ran 04 Feb 2021 05:40AM UTC

Jobs 1

Files 41

Run time 12s

Badge

Embed ▾

pending completion

Build # 71

Build Type

push

travis-ci-com

Committed by

xymostech

Commit Message

Use scaled font metrics for scaled fonts

This follows up on the previous commit where I added scaled
fonts. This adds a new `FontMetrics` primitive that loads TFM files
and returns the metrics scaled by the `scale` in the `Font`. Most of
this PR is going around replacing usages of `TFMFile` with
`FontMetrics`.

The more major change in here is making font metrics in `TeXState`
loaded on-demand, instead of pre-loading the one font that is
currently used. I used another `RefCell` to allow the font metrics to
be changed at any time, and learned about how `Ref` works so that I
can return a reference to something stored in the `RefCell` using
`Ref::map`. I previously would have probably liked to do something
similar with boxes, but ended up just making copies and/or taking the
boxes out instead of returning references.

Run Details

5569 of 6135 relevant lines covered (90.77%)

2.18 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
3	71.3	04 Feb 2021 05:40AM UTC	0	90.77	Travis Job 71.3

Source Files on build 71

Detailed source file information is not available for this build.

xymostech / XymosTeX / 71
82%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 71

xymostech / XymosTeX / 71 82%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 71

xymostech / XymosTeX / 71
82%

README BADGES
x