Add a PDF preview panel using Apache PDFBox that appears automatically
after a successful build. Users can navigate pages with prev/next buttons,
see the current page count, and toggle the preview on/off. Pages are
rendered lazily on IO threads to keep the GUI responsive.
Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>