On 28-10-2012 17:48, ~suv wrote:
On 28/10/2012 15:20, Johan Engelen wrote:
On 28-10-2012 3:12, Bryan Hoyt | Brush Technology wrote:
On 27/10/2012 23:04, Johan Engelen wrote:
When I export to PDF, I generally use "area is drawing", (that hasnow been renamed to "exported object's size" but should be "selected object's size" I believe, or in case nothing is selected "drawing size" or something that current users will recognize). To create a little bit of breathing room for the drawing, I would like to add a little margin to the area of the drawing. Does this make sense to you to add to the export options? "Extra margin: 10 px" or whatever unit.
I agree. Additionally, something like this would be incredibly useful for printing purposes when you export "area is page". If you have objects that bleed over the the edge, you generally want to export a slightly larger PDF to include a few mm over the edge of the page, so it can be trimmed down to size afterwards.
Slightly different use-case, perhaps, but very similar functionality.
Just committed to trunk, r11847. I'm sorry if breaking the feature freeze rule for this (oct 26?); I hope it is relatively harmless. For minimum impact, the current feature assumes the margin/bleed is specified in millimeters (we don't have proper unit support for extensions it seems).
New PDF export option tested with r11847 (OS X 10.7.4, Ubuntu 12.10), PDFs verified with Apple's Preview, gs 9.06, Evince 2.30.3/3.6.0.
- when exporting with 'Document's page size', the margin is added twice
on the right side and at the bottom, and the page content is not centered (as one might have expected) on the (enlarged) page of the PDF document.
Thanks for finding the bug, fixed now :-)
Cheers, Johan