From b4c63eb921456ab06d37dbc5fe926218fe38e7c6 Mon Sep 17 00:00:00 2001 From: John Whitington Date: Sun, 12 Dec 2021 14:47:57 +0000 Subject: [PATCH] more --- cpdfjson.ml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/cpdfjson.ml b/cpdfjson.ml index a5d584a..8b85e3d 100644 --- a/cpdfjson.ml +++ b/cpdfjson.ml @@ -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)}) ->