From 81b9bf49a6ddafba64adb8439b76e52bd78c7ef8 Mon Sep 17 00:00:00 2001 From: John Whitington Date: Wed, 21 Sep 2022 17:52:15 +0100 Subject: [PATCH] more --- cpdftexttopdf.ml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/cpdftexttopdf.ml b/cpdftexttopdf.ml index c47db8c..4bd9bd0 100644 --- a/cpdftexttopdf.ml +++ b/cpdftexttopdf.ml @@ -28,6 +28,8 @@ let rec of_utf8_with_newlines charcode_extractor t = if c <> [] then items := Text (charcodes_of_codepoints c)::!items; rev !items +(* The optional pdf argument is for providing a pre-embedded font - this will + be removed when we re-embed subsetted? *) let typeset ?pdf ~papersize ~font ~fontsize text = let charcode_extractor = Pdftext.charcode_extractor_of_font_real font in let pdf = match pdf with None -> Pdf.empty () | Some pdf -> pdf in