From 814108443e26f89c1204df8a0d9cd8f3e5faf414 Mon Sep 17 00:00:00 2001 From: John Whitington Date: Mon, 10 Jul 2023 15:53:21 +0100 Subject: [PATCH] More fontpack --- cpdftoc.ml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/cpdftoc.ml b/cpdftoc.ml index dde22c9..78b34b0 100644 --- a/cpdftoc.ml +++ b/cpdftoc.ml @@ -16,7 +16,10 @@ let rec real_newline = function (* Run of Font / Text elements from a fontpack and UTF8 text *) let of_utf8 fontpack t = + let font = ref 0 in [] + (* Use the fontpack to find which font is required, then return runs + of [Font (font, size); Text t] in a list *) (* Pdftext.codepoints_of_utf8 t |> option_map (Pdftext.charcode_extractor_of_font_real f) |> map char_of_int*)