Export drawings as PDF document
Registered by
arno_b
Be able to export a drawing as a PDF document.
Will look for a library that converts a Java Graphics2D to a PDF document, as jlibeps does with EPS documents. If no library exists, write a jlibpdf library.
Whiteboard
Implemented since a while using latex.
(?)