From bf024a69f2fa703f26e71bf291f14bc066c9444b Mon Sep 17 00:00:00 2001 From: John Whitington Date: Wed, 21 Sep 2022 20:45:11 +0100 Subject: [PATCH] more --- cpdftexttopdf.ml | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/cpdftexttopdf.ml b/cpdftexttopdf.ml index 4bd9bd0..4ff7664 100644 --- a/cpdftexttopdf.ml +++ b/cpdftexttopdf.ml @@ -1,6 +1,6 @@ open Pdfutil -let rec of_utf8_with_newlines charcode_extractor t = +let rec of_utf8_with_newlines used charcode_extractor t = let items = ref [] in let buf = ref [] in let codepoints = Pdftext.codepoints_of_utf8 t in @@ -8,7 +8,7 @@ let rec of_utf8_with_newlines charcode_extractor t = option_map (fun u -> match charcode_extractor u with - | Some c -> Some (char_of_int c) + | Some c -> Hashtbl.replace used c (); Some (char_of_int c) | None -> Printf.printf "No glyph for unicode U+%04X in this font\n" u; None) cs in @@ -37,11 +37,14 @@ let typeset ?pdf ~papersize ~font ~fontsize text = Pdfunits.convert 72. (Pdfpaper.unit papersize) (Pdfunits.PdfPoint) (Pdfpaper.width papersize) /. 15. in + let used = null_hash () in let pages = Cpdftype.typeset margin margin margin margin papersize pdf ([Cpdftype.Font (font, fontsize); Cpdftype.BeginDocument] @ - of_utf8_with_newlines charcode_extractor (Pdfio.string_of_bytes text)) + of_utf8_with_newlines used charcode_extractor (Pdfio.string_of_bytes text)) in + let codes = map fst (list_of_hashtbl used) in + Printf.printf "%i codes used\n" (length codes); let pdf, pageroot = Pdfpage.add_pagetree pages pdf in Pdfpage.add_root pageroot [] pdf