Prevent new missing mediabox warning triggering in -image-resolution

This commit is contained in:
John Whitington 2021-09-30 15:02:15 +01:00
parent d065fcede3
commit 31588000f8
1 changed files with 1 additions and 1 deletions

View File

@ -4422,7 +4422,7 @@ let rec image_resolution_page pdf page pagenum dpi (images : (int * string * xob
in in
let page = let page =
{Pdfpage.content = [content]; {Pdfpage.content = [content];
Pdfpage.mediabox = Pdf.Null; Pdfpage.mediabox = Pdfpage.rectangle_of_paper Pdfpaper.a4;
Pdfpage.resources = resources; Pdfpage.resources = resources;
Pdfpage.rotate = Pdfpage.Rotate0; Pdfpage.rotate = Pdfpage.Rotate0;
Pdfpage.rest = Pdf.Dictionary []} Pdfpage.rest = Pdf.Dictionary []}