#147 PDF export

closed
nobody
None
5
2012-12-10
2012-09-19
Harry
No

Attached patch adds quick-n-dirty PDF exporter using iText. Dependency is optional, so iText does not have to be included to start GROOVE, but the export will obviously fail if that is the case. Before export a dialog is shown with the option to use font outlines. If disabled, PDF uses embedded fonts which makes it smaller, but this is often different form the screen and sometimes glyphs are missing (like forall and exists). Enabling the option makes the PDF bigger, but it matches the screen exactly.

The iText libraries can be found here:
https://sourceforge.net/projects/itext/files/iText/iText5.3.2/
as long as they are on the classpath it'll work. Its AGPL licensed, so it probably can't be included by default.

Discussion

  • Harry
    Harry
    2012-09-19

    Patch to add (optional) PDF export support.

     
    Attachments
  • Harry
    Harry
    2012-12-10

    • status: open --> closed
     
  • Harry
    Harry
    2012-12-10

    Integrated with the io refactor.