This commit is contained in:
John Whitington 2021-12-12 14:47:57 +00:00
parent b1f8426f87
commit b4c63eb921
1 changed files with 3 additions and 0 deletions

View File

@ -453,6 +453,9 @@ let precombine_page_content pdf =
in
Pdfpage.change_pages true pdf pages'
(* FIXME make this optional? And maybe move into actual JSON reader, instead of
preprocessing PDF, so it helps us when writing, say, the output of
-print-dict-entry? *)
let rec ppstring_single_object pdf = function
| Pdf.Dictionary d -> Pdf.recurse_dict (ppstring_single_object pdf) d
| (Pdf.Stream {contents = (Pdf.Dictionary dict, data)}) ->