more
This commit is contained in:
parent
d12f1cfa46
commit
060fbd0c83
|
@ -98,14 +98,13 @@ let postprocess_json_pdf objnum_to_serial_map pdf obj =
|
|||
| Some s -> Pdf.add_dict_entry obj "/Parent" (Pdf.Integer s)
|
||||
| None -> Printf.eprintf "Warning: Cpdfannot.process_extra_object: could not find serial number\n"; obj
|
||||
end
|
||||
| _ -> ()
|
||||
(*(* If not a popup annotation, remove /Parent. It drags in lots of
|
||||
| _ ->
|
||||
(* If not a popup annotation, remove /Parent. It drags in lots of
|
||||
extra objects (the whole page tree!) with a widget
|
||||
annotation, and we are unlikely to be able to round-trip them
|
||||
anyway. One day, if we can match FDF properly, it might be
|
||||
possible, but not now. *)
|
||||
Pdf.remove_dict_entry obj "/Parent"*)
|
||||
|
||||
Pdf.remove_dict_entry obj "/Parent"
|
||||
end
|
||||
in
|
||||
begin match obj with
|
||||
|
|
|
@ -3392,8 +3392,13 @@ let embed_font () =
|
|||
| FontToEmbed fontfile ->
|
||||
EmbedInfo {fontfile; fontname = args.fontname; encoding = args.fontencoding}
|
||||
|
||||
let check_bookmarks_mistake () =
|
||||
if args.merge_add_bookmarks_use_titles && not args.merge_add_bookmarks then
|
||||
Printf.eprintf "Warning: -merge-add-bookmarks-use-titles is for use with -merge-add-bookmarks\n"
|
||||
|
||||
(* Main function *)
|
||||
let go () =
|
||||
check_bookmarks_mistake ();
|
||||
match args.op with
|
||||
| Some Version ->
|
||||
flprint
|
||||
|
|
Loading…
Reference in New Issue