2022-10-04 23:15:14 +02:00
|
|
|
(* Parse and subset TrueType fonts *)
|
|
|
|
|
|
|
|
|
|
(* The type of a single parsed font, including everything needed to build a PDF font. *)
|
2022-09-11 15:52:08 +02:00
|
|
|
type t =
|
|
|
|
|
{flags : int;
|
|
|
|
|
minx : int;
|
|
|
|
|
miny : int;
|
|
|
|
|
maxx : int;
|
|
|
|
|
maxy : int;
|
|
|
|
|
italicangle : int;
|
|
|
|
|
ascent : int;
|
|
|
|
|
descent : int;
|
|
|
|
|
capheight : int;
|
|
|
|
|
stemv : int;
|
|
|
|
|
xheight : int;
|
|
|
|
|
avgwidth : int;
|
|
|
|
|
maxwidth : int;
|
|
|
|
|
firstchar : int;
|
|
|
|
|
lastchar : int;
|
|
|
|
|
widths : int array;
|
2022-10-10 15:51:58 +02:00
|
|
|
subset_fontfile : Pdfio.bytes;
|
|
|
|
|
subset : int list;
|
2022-10-04 21:35:05 +02:00
|
|
|
tounicode : Pdfio.bytes option}
|
2022-09-11 15:52:08 +02:00
|
|
|
|
2022-10-04 23:15:14 +02:00
|
|
|
(* Parse the given TrueType font file. It will return one or more fonts. The
|
|
|
|
|
first, a plain Latin font in the given encoding. Others are for the
|
|
|
|
|
additional characters in the font. For subsetting, or to return a full
|
|
|
|
|
font-pack, you should supply a subset (a list of unicode codepoints whose
|
|
|
|
|
corresponding glyphs are required). *)
|
|
|
|
|
val parse : ?subset:int list -> Pdfio.bytes -> Pdftext.encoding -> t list
|
