Support export as PDF file from File menu