From 7b1dadf7766cf9ceedffd030b3552c1bf4a091e0 Mon Sep 17 00:00:00 2001 From: John Whitington Date: Tue, 9 May 2023 15:02:59 +0100 Subject: [PATCH] Newly-created files get IDs by default --- cpdfcreate.ml | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/cpdfcreate.ml b/cpdfcreate.ml index 6c13cab..b264dd6 100644 --- a/cpdfcreate.ml +++ b/cpdfcreate.ml @@ -5,11 +5,15 @@ let blank_document width height pages = map (fun () -> Pdfpage.blankpage (Pdfpaper.make Pdfunits.PdfPoint width height)) (many () pages) in let pdf, pageroot = Pdfpage.add_pagetree pdf_pages (Pdf.empty ()) in - Pdfpage.add_root pageroot [] pdf + let pdf = Pdfpage.add_root pageroot [] pdf in + Pdf.change_id pdf (string_of_float (Random.float 1.)); + pdf let blank_document_paper papersize pages = let pdf_pages = map (fun () -> Pdfpage.blankpage papersize) (many () pages) in let pdf, pageroot = Pdfpage.add_pagetree pdf_pages (Pdf.empty ()) in - Pdfpage.add_root pageroot [] pdf + let pdf = Pdfpage.add_root pageroot [] pdf in + Pdf.change_id pdf (string_of_float (Random.float 1.)); + pdf