-hard-box now works

This commit is contained in:
John Whitington 2017-05-20 13:23:32 +01:00
parent 38f6502e19
commit 43e953586f
2 changed files with 2 additions and 1 deletions

View File

@ -2554,7 +2554,7 @@ let hard_box pdf range boxname mediabox_if_missing fast =
then Pdf.parse_rectangle page.Pdfpage.mediabox then Pdf.parse_rectangle page.Pdfpage.mediabox
else error "hard_box: Box not found" else error "hard_box: Box not found"
in in
let ops = [Pdfops.Op_re (minx, miny, maxx, maxy); Pdfops.Op_W; Pdfops.Op_n] in let ops = [Pdfops.Op_re (minx, miny, maxx -. minx, maxy -. miny); Pdfops.Op_W; Pdfops.Op_n] in
Pdfpage.prepend_operators pdf ops ~fast:fast page) Pdfpage.prepend_operators pdf ops ~fast:fast page)
pdf pdf
range range

View File

@ -1,3 +1,4 @@
%FIXME: Document new -hard-box option
%FIXME: Document that -upright also shifts the page to 0,0 %FIXME: Document that -upright also shifts the page to 0,0
\documentclass{book} \documentclass{book}
\usepackage{palatino} \usepackage{palatino}