printer: added menu entry for print to pdf