Export as PDF (File → Export PDF) #17
Description
Summary
Export editor content to PDF.
Tasks
- Add menu item.
- Use a PDF lib (PDFBox/iText) to render text with basic formatting.
- FileChooser target: .pdf
Acceptance Criteria
- Selecting Export saves a readable PDF with full content.