support export as PDF file from File menu