This commit is contained in:
John Whitington 2023-04-21 15:15:06 +01:00
parent c0d474fdae
commit 15a6883f00

View File

@ -157,14 +157,15 @@ let set_annotations_json pdf i =
| `List entries -> | `List entries ->
(* Renumber the PDF so everything has bigger object numbers than that. *) (* Renumber the PDF so everything has bigger object numbers than that. *)
let maxobjnum = let maxobjnum =
fold_left fold_left max min_int
max (map
min_int (function
(map (fun e -> match e with `List [_; `Int i; _] -> i | `List [`Int i; _] -> abs i | _ -> error "Bad annots entry") entries) | `List [_; `Int i; _] -> i
in | `List [`Int i; _] -> abs i
let pdf_objnums = | _ -> error "Bad annots entry")
map fst (list_of_hashtbl pdf.Pdf.objects.Pdf.pdfobjects) entries)
in in
let pdf_objnums = map fst (list_of_hashtbl pdf.Pdf.objects.Pdf.pdfobjects) in
let change_table = let change_table =
hashtable_of_dictionary (map2 (fun f t -> (f, t)) pdf_objnums (ilist (maxobjnum + 1) (maxobjnum + length pdf_objnums))) hashtable_of_dictionary (map2 (fun f t -> (f, t)) pdf_objnums (ilist (maxobjnum + 1) (maxobjnum + length pdf_objnums)))
in in