This commit is contained in:
John Whitington
2023-02-20 12:56:59 +00:00
parent 3bb87b6352
commit c803c9e511
5 changed files with 34 additions and 39 deletions

View File

@@ -200,7 +200,7 @@ let get_annotations_json pdf =
let json = `List (flatten (map2 (annotations_json_page pdf) pages pagenums)) in
Pdfio.bytes_of_string (J.to_string json)
(** Set annotations from JSON. Existing annotations will be removed. *)
(** Set annotations from JSON. Existing annotations? *)
let set_annotations_json pdf json = ()
(* Equalise the page lengths of two PDFs by chopping or extending the first one.