processing/processing — pull request #2069 by gohai (2013-09-10 05:22:33+00:00)
Title: Custom DPI settings for PDF output

"It works here" :) Inspired by the way the support for retina displays works.

Since we need the DPI setting inside beginDraw(), I went for adding a variant of beginRecord() in PApplet that takes a third, float argument.